view wisdom/cofridge logic @ 12306:fe13436d333c draft

<int-e> learn The password of the month is leapfrogging rats.
author HackEso <hackeso@esolangs.org>
date Sat, 01 Feb 2020 07:11:02 +0000
parents 984ed31f89fb
children
line wrap: on
line source

Cofridge logic is the new HoTT stuff.