Equivalences instead of isos (wip)
authorSimon Huber <hubsim@gmail.com>
Tue, 9 Jun 2015 12:46:57 +0000 (14:46 +0200)
committerSimon Huber <hubsim@gmail.com>
Tue, 9 Jun 2015 12:46:57 +0000 (14:46 +0200)
commit0e90403fc695b70830c9c8304b6c4adb3f3b2828
tree96b79f5ccf80b51842bdf6970ac77d1afcd67bb3
parent8607a41482d90f917d435a9eff3fa49f751b9ac9
Equivalences instead of isos (wip)
Eval.hs
Resolver.hs
TypeChecker.hs