projects / cubicaltt.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 959499d) | patch
added transport
authorSimon Huber <hubsim@gmail.com>
Wed, 18 Mar 2015 23:54:52 +0000 (00:54 +0100)
committerSimon Huber <hubsim@gmail.com>
Wed, 18 Mar 2015 23:54:52 +0000 (00:54 +0100)
commit0100fea387bcb4127b83089f067b2f595678ee20
treebfe57f7e675e2c7026248b7a198ee1abbe77593dtree | snapshot
parent959499d147b832c9d538e33b0e8572b556cb3400commit | diff
added transport
Eval.hs diff | blob | blame | history
TypeChecker.hs diff | blob | blame | history
examples/nat.ctt diff | blob | blame | history
My fork of cubicaltt with web interface using Reflex.