idris.md

Bookmarks tagged [idris]

^{www.codever.land/bookmarks/t/idris}

awesome-idris

^{https://github.com/joaomilho/awesome-idris#readme}

𝛌 Awesome Idris resources. Contribute to joaomilho/awesome-idris development by creating an account on GitHub.

• tags: awesome-list, programming-languages, idris
• source code

---