edwinb / Idris-oldLinks

A language with dependent types
19Updated 13 years ago

Alternatives and similar repositories for Idris-old

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

Sorting: