Skip to content

Instantly share code, notes, and snippets.

What would you like to do?
Ackermann function in Dhall
-- Credit to:
let iterate
: (Natural Natural) Natural Natural
= λ(f : Natural Natural)
λ(n : Natural)
Natural/fold (n + 1) Natural f 1
let increment : Natural Natural = λ(n : Natural) n + 1
let ackermann
: Natural Natural Natural
= λ(m : Natural) Natural/fold m (Natural Natural) iterate increment
in ackermann
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
You can’t perform that action at this time.