the endpoints of a path should match the Id arguments; inferType
authorSimon Huber <hubsim@gmail.com>
Thu, 19 Mar 2015 13:11:31 +0000 (14:11 +0100)
committerSimon Huber <hubsim@gmail.com>
Thu, 19 Mar 2015 13:11:31 +0000 (14:11 +0100)
commit02343c62f620981615a40a82a96983d982b5ba34
treef9b52697c255c9e69336bbe739459f14c1eac0cc
parente1b8c19984ff866dbf11e268fbacc2e37295d81f
the endpoints of a path should match the Id arguments; inferType
Eval.hs
TypeChecker.hs