A core language and API for dependently typed languages
Primary LanguageIdris
No one’s star this repository yet.