]> git.xn--bdkaa.com Git - cubicaltt-web.git/commit
projects / cubicaltt-web.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a7d029e) | patch
fixing use of isNeutral
authorSimon Huber <hubsim@gmail.com>
Sat, 11 Apr 2015 17:11:36 +0000 (19:11 +0200)
committerSimon Huber <hubsim@gmail.com>
Sat, 11 Apr 2015 17:11:59 +0000 (19:11 +0200)
commitd2a4fe41addbf30bef092a717dc5bbaf4da7864b
tree463e92266cde622d9514d9d12275bff8a5800223tree | snapshot
parenta7d029e669b313d76676c69bbd8b118218f6341bcommit | diff
fixing use of isNeutral
CTT.hs diff | blob | history
Eval.hs diff | blob | history
My fork of cubicaltt with web interface using Reflex.