/idris-4-noobs

📘 | Idris2 for Portuguese speakers. (Its called idris2noobs as a reference to the version 2 of the language).

Primary LanguageIdris

Stargazers

No one’s star this repository yet.