HigherOrderCO/Kind
1
1
Fork 0
mirror of https://github.com/HigherOrderCO/Kind.git synced 2024-08-16 19:20:36 +03:00
Code Issues Packages Projects Releases Wiki Activity
master
Kind/book/Cmp/ltn.kind2

4 lines
42 B
Plaintext
Raw Permalink Normal View History

new tld syntax
2024-07-09 00:13:17 +03:00
Cmp/ltn : Cmp
~λP λltn λeql λgtn ltn
Reference in New Issue Copy Permalink