git.xn--bdkaa.com Git - cubicaltt-web.git/commit

]> git.xn--bdkaa.com Git - cubicaltt-web.git/commit

projects / cubicaltt-web.git / commit

summary | shortlog | log | commit | commitdiff | tree
(parent: 8607a41) | patch

author	Simon Huber <hubsim@gmail.com>
	Tue, 9 Jun 2015 12:46:57 +0000 (14:46 +0200)
committer	Simon Huber <hubsim@gmail.com>
	Tue, 9 Jun 2015 12:46:57 +0000 (14:46 +0200)
commit	0e90403fc695b70830c9c8304b6c4adb3f3b2828
tree	96b79f5ccf80b51842bdf6970ac77d1afcd67bb3	tree \| snapshot
parent	8607a41482d90f917d435a9eff3fa49f751b9ac9	commit \| diff

Equivalences instead of isos (wip)

Eval.hs		diff \| blob \| history
Resolver.hs		diff \| blob \| history
TypeChecker.hs		diff \| blob \| history

My fork of cubicaltt with web interface using Reflex.