Idris-dev/INSTALL.md at master · idris-lang/Idris-dev · GitHub
Bad syntax highlighting of .lidr files · Issue #4799 · idris-lang/Idris-dev · GitHub
reading and writing at Idris - Stack Overflow
Having trouble with idris-mode
Type-Driven Development with Idris: Brady, Edwin: 9781617293023: Amazon.com: Books
Idris – débardeur, gilet Idris Elba Idris Lang, programmation fonctionnelle, programmation fonctionnelle, Elm Lang
Pawel Sobocinski
Maths - Idris Code for Dependent Types - Martin Baker
Idris Lang Gifts & Merchandise for Sale | Redbubble
Introduction to idris | PPT
GitHub - idris-lang/idris-tutorial: A tutorial to the Idris Programming Language.
Idris – sweat à capuche Idris Elba Idris Lang, programmation fonctionnelle, fonctionnelle, Elm Lang - AliExpress
You Got Your Idris in My C++ - Speaker Deck
Practical Reflection and Metaprogramming for Dependent Types | Semantic Scholar
IdrisでWebアプリを書く | PPT
Idris as a Library - BAM Weblog
New JavaScript code generator has landed in Idris 2 : r/Idris
Idris as a Library - BAM Weblog
Edwin Brady - Idris 2 - Type-driven Development of Idris - YouTube
Type-Driven Development in Idris — Edwin Brady - YouTube
Edwin Brady Tells Us What's New in Idris 2 - YouTube
The Idris Programming Language | SpringerLink
idris-lang · GitHub
Idris: A Language for Type-Driven Development
Parser Library Introduction — Idris 1.3.3 documentation
/presentations/scala-idris/en/slides/sl26.jpg "Scala vs Idris: Dependent Types, Now and in the Future")
Scala vs Idris: Dependent Types, Now and in the Future
Marimuthu Madasamy (@marimuthum) / X
