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: 582d897) | patch

author	Auke Booij <auke@tulcod.com>
	Tue, 24 May 2016 22:01:14 +0000 (00:01 +0200)
committer	Auke Booij <auke@tulcod.com>
	Wed, 1 Jun 2016 15:12:22 +0000 (16:12 +0100)
commit	2e4692a0c91da632121ee5964fd4d485e8b75626
tree	a04ba7ebd8a3cf00a23cdfdd193da19c94105b7c	tree \| snapshot
parent	582d8977279f3863e2b4a83f24297d1c479d9168	commit \| diff

Implement girard's paradox to show impredicativity of cubicaltt

examples/girard.ctt

[new file with mode: 0644]

My fork of cubicaltt with web interface using Reflex.