direct proofs that things are sets
authorAnders Mörtberg <andersmortberg@gmail.com>
Mon, 30 Oct 2017 20:07:40 +0000 (16:07 -0400)
committerAnders Mörtberg <andersmortberg@gmail.com>
Mon, 30 Oct 2017 20:07:40 +0000 (16:07 -0400)
commit0cdd084498c3f5de53a26ae756e4a9f33625fa1f
treeb0ee5d1020cae28cfc589d8c7fd4689c50e50680
parent747f5bafad712b90da9eb7e6b893fff16683fe17
direct proofs that things are sets
examples/nat.ctt
examples/prelude.ctt