algebraic-dev / idris-4-noobsLinks

๐Ÿ“˜ | Idris2 for Portuguese speakers. (Its called idris2noobs as a reference to the version 2 of the language).
โ˜†47Updated 3 years ago

Alternatives and similar repositories for idris-4-noobs

Users that are interested in idris-4-noobs are comparing it to the libraries listed below

Sorting: