]> git.xn--bdkaa.com Git - cubicaltt-web.git/commit
projects / cubicaltt-web.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: cc96b7d) | patch
Make conversion use a list of names instead
authorAnders <mortberg@chalmers.se>
Tue, 21 Apr 2015 10:10:33 +0000 (12:10 +0200)
committerAnders <mortberg@chalmers.se>
Tue, 21 Apr 2015 10:10:33 +0000 (12:10 +0200)
commit44fd02302ef033a09a9f008d4645a6d8e55ddb94
tree36e36cbc89f21dbf1f168ba18864e5927cb3cecatree | snapshot
parentcc96b7d53fc869a31b0305a8ab259c34c096c20acommit | diff
Make conversion use a list of names instead
Eval.hs diff | blob | history
TypeChecker.hs diff | blob | history
My fork of cubicaltt with web interface using Reflex.