A dependently typed programming language, a successor to Idris
Primary LanguageIdrisOtherNOASSERTION
This repository is not active