mirror
/
RosettaCodeData
mirror of https://github.com/acmeism/RosettaCodeData.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity
RosettaCodeData/Task/Ackermann-function/Purity/ackermann-function.purity

3 lines
88 B
Plaintext
Raw Permalink Blame History

data Iter = f => FoldNat <const $f One, $f>
data Ackermann = FoldNat <const Succ, Iter>
Reference in New Issue View Git Blame Copy Permalink