Merge pull request #40 from abooij/girard
authorAnders Mörtberg <andersmortberg@gmail.com>
Tue, 20 Jun 2017 15:58:05 +0000 (17:58 +0200)
committerGitHub <noreply@github.com>
Tue, 20 Jun 2017 15:58:05 +0000 (17:58 +0200)
commita4008bf9d7fa4d0bbb69a9cf8c9b768c735e07f0
treeb9d16535ad79905650b6bfa9e7cbe8c25989b764
parent0a697a9f9049a98f4036219044027fa63763a476
parent2e4692a0c91da632121ee5964fd4d485e8b75626
Merge pull request #40 from abooij/girard

Implement girard's paradox to show impredicativity of cubicaltt