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

author	Anders Mörtberg <andersmortberg@gmail.com>
	Fri, 11 Aug 2017 17:28:50 +0000 (19:28 +0200)
committer	Anders Mörtberg <andersmortberg@gmail.com>
	Fri, 11 Aug 2017 17:28:50 +0000 (19:28 +0200)
commit	a331f1d355c5d2fc608a59c1cbbf016ea09d6deb
tree	727ca823eacd9f99f8cdd936c675f5368c41ce29	tree \| snapshot
parent	e1e158d2103f0b441ed27ad4b2c0c123d7d710d7	commit \| diff

rename gradLemma to isoToEquiv

12 files changed:

Eval.hs		diff \| blob \| history
examples/bool.ctt		diff \| blob \| history
examples/category.ctt		diff \| blob \| history
examples/equiv.ctt		diff \| blob \| history
examples/idtypes.ctt		diff \| blob \| history
examples/subset.ctt		diff \| blob \| history
examples/torsor.ctt		diff \| blob \| history
examples/univalence.ctt		diff \| blob \| history
experiments/isoToEquiv.ctt	[moved from experiments/gradLemma.ctt with 96% similarity]	diff \| blob \| history
experiments/testall.ctt		diff \| blob \| history
experiments/univalence.ctt		diff \| blob \| history
lectures/lecture4.ctt		diff \| blob \| history

My fork of cubicaltt with web interface using Reflex.