projects / cubicaltt.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: bb7856d) | patch
fixed bug; switched a with b in hiso
authorSimon Huber <hubsim@gmail.com>
Tue, 24 Mar 2015 10:06:28 +0000 (11:06 +0100)
committerSimon Huber <hubsim@gmail.com>
Tue, 24 Mar 2015 10:06:28 +0000 (11:06 +0100)
commit18e8843e77732d0ca094b2c2ff93b3be5ca95a22
tree3c0d273708880cf264c8ef36fc9e125b124b01a2tree | snapshot
parentbb7856dbce4f4b27cb603a6a3e2463857b81e91ccommit | diff
fixed bug; switched a with b in hiso
Eval.hs diff | blob | blame | history
TypeChecker.hs diff | blob | blame | history
My fork of cubicaltt with web interface using Reflex.