cypheon / idris2-boot Goto Github PK
View Code? Open in Web Editor NEWThis project forked from edwinb/idris2-boot
A dependently typed programming language, a successor to Idris, with an incomplete ECMAScript backend
Home Page: https://idris-lang.org/
License: Other