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
• :octocat: source code

---