/Idris2-boot

A dependently typed programming language, a successor to Idris

Primary LanguageIdrisOtherNOASSERTION

Watchers