HigherOrderCO/Kind
1
1
Fork 0
mirror of https://github.com/HigherOrderCO/Kind.git synced 2024-08-17 11:50:26 +03:00
Code Issues Packages Projects Releases Wiki Activity
master
Kind/book/Nat/succ.kind2

6 lines
49 B
Plaintext
Raw Permalink Normal View History

new tld syntax
2024-07-09 00:13:17 +03:00
succ
- n: Nat
: Nat
~λP λsucc λzero (succ n)
Reference in New Issue Copy Permalink