HigherOrderCO/Kind
1
1
Fork 0
mirror of https://github.com/HigherOrderCO/Kind.git synced 2024-07-14 21:30:35 +03:00
Code Issues Packages Projects Releases Wiki Activity
master
Kind/book/Cmp/ltn.kind2
Victor Taelin bf2d62a572 new tld syntax
2024-07-08 18:13:17 -03:00

4 lines
42 B
Plaintext
Raw Permalink Blame History

Cmp/ltn : Cmp
~λP λltn λeql λgtn ltn
Reference in New Issue View Git Blame Copy Permalink