The iPKG format should be replaced with a known configuration file format. · Issue #1825 · idris-lang/Idris-dev · GitHub
Lambda Days 2015 - Edwin Brady - State, Side-effects and Communication in Idris on Vimeo
Exception from running Idris after installing on WSL2 through homebrew. · Issue #1064 · idris-lang/Idris2 · GitHub
IdrisでWebアプリを書く
Idris Lang Gifts & Merchandise for Sale | Redbubble
Edwin Brady - Idris 2 - Type-driven Development of Idris - YouTube
Idris: General Purpose Programming with Dependent Types - YouTube
reading and writing at Idris - Stack Overflow
Idris as a Library - BAM Weblog
GitHub - idris-lang/idris-tutorial: A tutorial to the Idris Programming Language.
macos - realpath error with Chez Scheme when Installing Idris2 - Stack Overflow
Windows CI Setup · Issue #1948 · idris-lang/Idris-dev · GitHub
State — Idris 1.3.3 documentation
Scala vs Idris: Dependent Types, Now and in the Future
GitHub - idris-lang/Idris2: A purely functional programming language with first class types
Having trouble with idris-mode
Idris – sweat à capuche Idris Elba Idris Lang, programmation fonctionnelle, fonctionnelle, Elm Lang | AliExpress
Introduction to idris | PPT
Maths - Idris Code for Dependent Types - Martin Baker
The Idris Programming Language | SpringerLink
Type-Driven Development in Idris — Edwin Brady - YouTube
GitHub - idris-lang/Idris2: A purely functional programming language with first class types
Idris – sweat à capuche Idris Elba Idris Lang, programmation fonctionnelle, fonctionnelle, Elm Lang | AliExpress
Practical Reflection and Metaprogramming for Dependent Types | Semantic Scholar
Idris as a Library - BAM Weblog
Idris States: Dependent types, not just for vectors? - Speaker Deck
idris-lang · GitHub
