An experimental implementation of a dependently typed language in Kotlin
Primary LanguageKotlinMIT LicenseMIT