]> git.xn--bdkaa.com Git - cubicaltt-web.git/commit
projects / cubicaltt-web.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: e1b8c19) | patch
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
treef9b52697c255c9e69336bbe739459f14c1eac0cctree | snapshot
parente1b8c19984ff866dbf11e268fbacc2e37295d81fcommit | diff
the endpoints of a path should match the Id arguments; inferType
Eval.hs diff | blob | history
TypeChecker.hs diff | blob | history
My fork of cubicaltt with web interface using Reflex.