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: d4d4844) | patch

author	Anders Mörtberg <andersmortberg@gmail.com>
	Mon, 4 Jan 2016 18:18:40 +0000 (19:18 +0100)
committer	Anders Mörtberg <andersmortberg@gmail.com>
	Mon, 4 Jan 2016 18:18:40 +0000 (19:18 +0100)
commit	26b70046ce7e45197f14ead82daae7e0354e9945
tree	45a5059156a8487b322123222506d718749dbaf9	tree \| snapshot
parent	d4d4844b16bd521444bc445dec9cf9d10765deac	commit \| diff

Refactoring and move old code on equivalences to experiments folder

examples/equiv.ctt		diff \| blob \| history
examples/testEquiv.ctt	[deleted file]	blob \| history
examples/testUniv.ctt		diff \| blob \| history
experiments/equiv.ctt	[new file with mode: 0644]	blob
experiments/gradLemma.ctt	[moved from examples/gradLemma.ctt with 98% similarity]	diff \| blob \| history
experiments/univalence.ctt	[moved from examples/univalence.ctt with 95% similarity]	diff \| blob \| history

My fork of cubicaltt with web interface using Reflex.