]> git.xn--bdkaa.com Git - cubicaltt-web.git/commit
projects / cubicaltt-web.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 67c202d) | patch
added app of a formula
authorSimon Huber <hubsim@gmail.com>
Wed, 18 Mar 2015 22:48:11 +0000 (23:48 +0100)
committerSimon Huber <hubsim@gmail.com>
Wed, 18 Mar 2015 22:48:11 +0000 (23:48 +0100)
commitb7e6342a8b4f9853176753fcdcd39ddd913ffe1a
tree299e77544a293d930a1d926ba5dba5b451a8cf34tree | snapshot
parent67c202dfc27c22568c24be828b821732d33ca83acommit | diff
added app of a formula
Exp.cf diff | blob | history
Resolver.hs diff | blob | history
examples/nat.ctt diff | blob | history
My fork of cubicaltt with web interface using Reflex.