git.ak3n.com - cubicaltt.git/commit

projects / cubicaltt.git / commit

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

author	Anders <mortberg@chalmers.se>
	Thu, 26 Feb 2015 13:35:29 +0000 (14:35 +0100)
committer	Anders <mortberg@chalmers.se>
	Thu, 26 Feb 2015 13:35:29 +0000 (14:35 +0100)
commit	a7fb332b67b31ab9e2cc2f2b36a550bbf3259e37
tree	dbd572e3d0a4d7ce7b66970f0ef601d294adce66	tree \| snapshot
parent	523900054ded05d624253b7d1a052a3f4f166283	commit \| diff

Initial commit

Eval.hs	[new file with mode: 0644]	blob
Exp.cf	[new file with mode: 0644]	blob
Main.hs	[new file with mode: 0644]	blob
Makefile	[new file with mode: 0644]	blob
Resolver.hs	[new file with mode: 0644]	blob
TT.hs	[new file with mode: 0644]	blob
TypeChecker.hs	[new file with mode: 0644]	blob
examples/nat.tt	[new file with mode: 0644]	blob
minitt.el	[new file with mode: 0644]	blob

My fork of cubicaltt with web interface using Reflex.