Add normalization of environments
authorAnders <mortberg@chalmers.se>
Tue, 21 Apr 2015 15:59:11 +0000 (17:59 +0200)
committerAnders <mortberg@chalmers.se>
Tue, 21 Apr 2015 15:59:11 +0000 (17:59 +0200)
commit81074932263f58ada989f8a85d6b1f81be8c78b7
treec3b962a09f91f066e8958f5a44958a880a4fb15e
parent0160f7b3c8c9f896ec92ad77e4e9a1d09fff11a4
Add normalization of environments
CTT.hs
Eval.hs