idris-lang / Idris2Links

A purely functional programming language with first class types
2,664Updated this week

Alternatives and similar repositories for Idris2

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

Sorting: