Implement girard's paradox to show impredicativity of cubicaltt
authorAuke Booij <auke@tulcod.com>
Tue, 24 May 2016 22:01:14 +0000 (00:01 +0200)
committerAuke Booij <auke@tulcod.com>
Wed, 1 Jun 2016 15:12:22 +0000 (16:12 +0100)
commit2e4692a0c91da632121ee5964fd4d485e8b75626
treea04ba7ebd8a3cf00a23cdfdd193da19c94105b7c
parent582d8977279f3863e2b4a83f24297d1c479d9168
Implement girard's paradox to show impredicativity of cubicaltt
examples/girard.ctt [new file with mode: 0644]