]> git.xn--bdkaa.com Git - cubicaltt-web.git/commit
projects / cubicaltt-web.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 4a7f71d) | patch
Remove unnecessary monadic code in Typechecker (no more localM!)
authorAnders <mortberg@chalmers.se>
Tue, 21 Apr 2015 09:36:29 +0000 (11:36 +0200)
committerAnders <mortberg@chalmers.se>
Tue, 21 Apr 2015 09:36:29 +0000 (11:36 +0200)
commit0e54eae0f8b9f7c2f8fccca50aaf0d402c5d2782
treee1bb89131e6c24faf471150e6833d0e13e016844tree | snapshot
parent4a7f71d61e869ecd32ed0d8e623be0c215724c8bcommit | diff
Remove unnecessary monadic code in Typechecker (no more localM!)
TypeChecker.hs diff | blob | history
My fork of cubicaltt with web interface using Reflex.