git.ak3n.com - cubicaltt.git/commit

projects / cubicaltt.git / commit

summary | shortlog | log | commit | commitdiff | tree
(parent: 7ad3c51) | patch

author	Simon Huber <hubsim@gmail.com>
	Wed, 3 Jun 2015 12:27:03 +0000 (14:27 +0200)
committer	Simon Huber <hubsim@gmail.com>
	Wed, 3 Jun 2015 12:27:03 +0000 (14:27 +0200)
commit	750961a28b36b3f064154fcb946e803ff8339fb8
tree	41414bde8d06cf407a0b316054297a65661f5604	tree \| snapshot
parent	7ad3c515569e7b6ff1f551100253b4b916f8c03f	commit \| diff

Adapted compGlue

CTT.hs		diff \| blob \| blame \| history
Eval.hs		diff \| blob \| blame \| history
TypeChecker.hs		diff \| blob \| blame \| history

My fork of cubicaltt with web interface using Reflex.