add an alternative proof of J
authorAnders Mörtberg <andersmortberg@gmail.com>
Fri, 23 Feb 2018 04:51:53 +0000 (23:51 -0500)
committerAnders Mörtberg <andersmortberg@gmail.com>
Fri, 23 Feb 2018 04:51:53 +0000 (23:51 -0500)
commit7f3c7a7cfe60f98da46e6958bec62bac4675ccd2
tree583b28c2bded3e8771f165092edd6cb9f454d3d9
parent84053d1c023721706ac5cbecf152e2cc71080518
add an alternative proof of J
examples/prelude.ctt