Define primitive recursive functions in a clear unambiguous language, check them for correctness, and execute them. - View it on GitHub