git.ak3n.com - cubicaltt.git/commit

projects / cubicaltt.git / commit

summary | shortlog | log | commit | commitdiff | tree
(parent: 67c202d) | patch

author	Simon Huber <hubsim@gmail.com>
	Wed, 18 Mar 2015 22:48:11 +0000 (23:48 +0100)
committer	Simon Huber <hubsim@gmail.com>
	Wed, 18 Mar 2015 22:48:11 +0000 (23:48 +0100)
commit	b7e6342a8b4f9853176753fcdcd39ddd913ffe1a
tree	299e77544a293d930a1d926ba5dba5b451a8cf34	tree \| snapshot
parent	67c202dfc27c22568c24be828b821732d33ca83a	commit \| diff

added app of a formula

Exp.cf		diff \| blob \| blame \| history
Resolver.hs		diff \| blob \| blame \| history
examples/nat.ctt		diff \| blob \| blame \| history

My fork of cubicaltt with web interface using Reflex.