A library for studying primitive recursive functions with Kotlin.
Primary LanguageKotlinGNU General Public License v3.0GPL-3.0