projects / cubicaltt.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: ca772fa) | patch
Make undefined only occur as a declaration so that the type can be inferred
authorAnders Mörtberg <mortberg@chalmers.se>
Tue, 14 Apr 2015 21:03:53 +0000 (23:03 +0200)
committerAnders Mörtberg <mortberg@chalmers.se>
Tue, 14 Apr 2015 21:03:53 +0000 (23:03 +0200)
commit0c77a02756d273c1487a91d006f01e09676fb398
treec3abc7940b9a4fc3f902001eed92283b4138f8fctree | snapshot
parentca772fa7c1df9c50d09bf7be356bc54756e0694ecommit | diff
Make undefined only occur as a declaration so that the type can be inferred
CTT.hs diff | blob | blame | history
Eval.hs diff | blob | blame | history
Exp.cf diff | blob | blame | history
Resolver.hs diff | blob | blame | history
TypeChecker.hs diff | blob | blame | history
examples/integer.ctt diff | blob | blame | history
My fork of cubicaltt with web interface using Reflex.