Add evaluation of Glue and GlueElem
authorAnders <mortberg@chalmers.se>
Mon, 23 Mar 2015 14:59:03 +0000 (15:59 +0100)
committerAnders <mortberg@chalmers.se>
Mon, 23 Mar 2015 14:59:03 +0000 (15:59 +0100)
commit4213438cc6bdaf468f8472b20a27d79f449df8bb
treecdfb8fa9c9e7abdfcc46740ae7925b3d29c44216
parent9a7c29ed4b0adf8e022df171d284da0da071cf5b
Add evaluation of Glue and GlueElem
CTT.hs
Eval.hs
TypeChecker.hs