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