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: 4a79ca0) | patch

author	Simon Huber <hubsim@gmail.com>
	Tue, 16 Jun 2015 08:15:22 +0000 (10:15 +0200)
committer	Simon Huber <hubsim@gmail.com>
	Tue, 16 Jun 2015 08:15:22 +0000 (10:15 +0200)
commit	86d23727c88aa18870a311f44460c8ab0fdc6428
tree	700aafd6c528a35fc6163cb161b1904c293b0852	tree \| snapshot
parent	4a79ca0d64630932ecc0b22a712a36059eaa3a11	commit \| diff

Don't require equivalences to be eta-expanded

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

My fork of cubicaltt with web interface using Reflex.