Variations on Kirby & Paris' hydra battles and other entertaining math in Coq (collaborative, documented, includes exercises) [maintainer=@Casteran]
The Prim programming language, based on the set of Primitive Recursive functions
An interactive Kotlin editor for the REFUNK library.
A library for studying primitive recursive functions with Kotlin.
Laboratory work of Theory of computational processes in Saint Petersburg State University of Aerospace Instrumentation.
Implementation of a pow, using recursive primitive function in Java.
The purpose of this programming lab is to implement five primitive recursive functions using the data type Nat and the recursor recNat in Haskell.
Add a description, image, and links to the primitive-recursive-functions topic page so that developers can more easily learn about it.
To associate your repository with the primitive-recursive-functions topic, visit your repo's landing page and select "manage topics."