Agda proof that the Ackermann function is not primitive recursive
Primary LanguageAgda
No issues in this repository yet.