From: Anders Mörtberg <andersmortberg@gmail.com>
Date: Tue, 20 Jun 2017 15:58:05 +0000 (+0200)
Subject: Merge pull request #40 from abooij/girard
X-Git-Url: https://git.ak3n.com/?a=commitdiff_plain;h=a4008bf9d7fa4d0bbb69a9cf8c9b768c735e07f0;p=cubicaltt.git

Merge pull request #40 from abooij/girard

Implement girard's paradox to show impredicativity of cubicaltt
---

a4008bf9d7fa4d0bbb69a9cf8c9b768c735e07f0