]> git.xn--bdkaa.com Git - cubicaltt-web.git/commit
projects / cubicaltt-web.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c931386) | patch
Test for correct length in checks (Fixes #27)
authorSimon Huber <hubsim@gmail.com>
Wed, 10 Feb 2016 20:31:41 +0000 (21:31 +0100)
committerSimon Huber <hubsim@gmail.com>
Wed, 10 Feb 2016 20:31:41 +0000 (21:31 +0100)
commit40bf33af184cccf3522e864d8ee6f989cb8a09e2
tree85a891b17298aa2dcf4fbd2012082225367a5b45tree | snapshot
parentc9313866391efc99d2f8db5998753511bd734b32commit | diff
Test for correct length in checks (Fixes #27)
TypeChecker.hs diff | blob | history
My fork of cubicaltt with web interface using Reflex.