Add genComp and some examples for debugging
authorAnders <mortberg@chalmers.se>
Thu, 4 Jun 2015 13:15:37 +0000 (15:15 +0200)
committerAnders <mortberg@chalmers.se>
Thu, 4 Jun 2015 13:15:37 +0000 (15:15 +0200)
commitc72cfbea180c9ac8342edb99f1df6438489a4068
treec6f8680893aab3e87f82e30bbda93a52533bc260
parent8e82582a972b6432f3a7108c20f3d2613091d66a
Add genComp and some examples for debugging
Eval.hs
Exp.cf
Resolver.hs
examples/booltest.ctt [new file with mode: 0644]
examples/integer.ctt
examples/interval.ctt