Less definitional equalities for glue
authorSimon Huber <hubsim@gmail.com>
Fri, 5 Jun 2015 15:54:27 +0000 (17:54 +0200)
committerSimon Huber <hubsim@gmail.com>
Fri, 5 Jun 2015 15:54:27 +0000 (17:54 +0200)
commit5ac7a21fce5fcf198720f5ead820a21f3252e6dc
treec7172394547d01e2e2e1c3983c0835cc26044200
parent9affc9f4029e54da4108550b71d72b12977d8074
Less definitional equalities for glue
Eval.hs
examples/prelude.ctt