Idris2Doc : Data.Nat.Ack

Data.Nat.Ack