git.ak3n.com - cubicaltt.git/commit

author	Anders Mörtberg <andersmortberg@gmail.com>
	Fri, 21 Oct 2016 18:04:31 +0000 (14:04 -0400)
committer	Anders Mörtberg <andersmortberg@gmail.com>
	Fri, 21 Oct 2016 18:04:31 +0000 (14:04 -0400)
commit	c7f0f1c07a7cbe81bfe53a7eb91ad34197f917ab
tree	b9f741954420f436baade7aac577c6560271b345	tree \| snapshot
parent	6bff9f26e7851d64153a5c9984d2e65feaf553b2	commit \| diff

comments

20 files changed:

examples/helix.ctt		diff \| blob \| blame \| history
examples/injective.ctt		diff \| blob \| blame \| history
examples/int.ctt		diff \| blob \| blame \| history
examples/integer.ctt		diff \| blob \| blame \| history
examples/interval.ctt		diff \| blob \| blame \| history
examples/list.ctt		diff \| blob \| blame \| history
examples/nat.ctt		diff \| blob \| blame \| history
examples/ordinal.ctt		diff \| blob \| blame \| history
examples/pi.ctt		diff \| blob \| blame \| history
examples/prelude.ctt		diff \| blob \| blame \| history
examples/propTrunc.ctt		diff \| blob \| blame \| history
examples/retract.ctt		diff \| blob \| blame \| history
examples/sigma.ctt		diff \| blob \| blame \| history
examples/subset.ctt		diff \| blob \| blame \| history
examples/susp.ctt		diff \| blob \| blame \| history
examples/torsor.ctt		diff \| blob \| blame \| history
examples/univalence.ctt		diff \| blob \| blame \| history
experiments/multS1.ctt	[moved from examples/multS1.ctt with 92% similarity]	diff \| blob \| blame \| history
experiments/prop.ctt	[moved from examples/prop.ctt with 100% similarity]	blob \| blame \| history
experiments/quotient.ctt	[moved from examples/quotient.ctt with 96% similarity]	diff \| blob \| blame \| history

My fork of cubicaltt with web interface using Reflex.