idris-lang / Idris-devLinks

A Dependently Typed Functional Programming Language
3,458Updated 4 months ago

Alternatives and similar repositories for Idris-dev

Users that are interested in Idris-dev are comparing it to the libraries listed below

Sorting: