A categorical programming language
Rev. | 8b60dc0d6200a93008d69c118732d46bdc7a72d3 |
---|---|
Size | 192 bytes |
Time | 2024-04-25 10:34:53 |
Author | Corbin |
Log Message | Get 2to3.py to build a v3 hive.
I haven't verified that the contents of the hive are correct, and
|
(comp
(sum/mapleft nat/pred-maybe)
(comp sum/assr (comp (sum/mapright sum/swap) sum/assl)))
The predecessor of an extended natural number. The extra point signals when
the input is zero.