A library for studying primitive recursive functions with Kotlin.


Unfortunately, the Kotlin Compiler Server used for executing the interactive examples had to be shut down due to cost reasons.

Read more about REFUNK on the official GitHub repository.

Recursive Implementation

The recursive implementation relies solely on recursion in every implementation, resulting in poor performance.

Non-recursive Implementation

Alternatively, you can use the non-recursive implementation of the recursion operator. Its behaviour is identical to the actually recursive implementation, but its performance and usability is greatly improved.