3 lines
88 B
Text
3 lines
88 B
Text
|
data Iter = f => FoldNat <const $f One, $f>
|
||
|
|
data Ackermann = FoldNat <const Succ, Iter>
|