Data.Nat.Ack

Properties of Ackermann functions