edwinb / Idris2-bootLinks

A dependently typed programming language, a successor to Idris
899Updated 4 years ago

Alternatives and similar repositories for Idris2-boot

Users that are interested in Idris2-boot are comparing it to the libraries listed below

Sorting: