Links

• ​The Power of Types in Idris (2019)​

• ​Idris koans​

• ​Awesome Idris​

• ​linear - Profunctor optics for linear types.

• ​States - State machines in Idris.

• ​Blodwen - Prototype implementation of Idris 2.

• ​Idris 2 - Pre-alpha implementation of Idris 2, the successor to Idris.

• ​Edwin Brady - Idris 2 - Type-driven Development of Idris (2019)​

• ​Software Foundations in Idris​

• ​Typedefs - Programming language-agnostic, algebraic data type definition language, written in Idris.

• ​Linearity and Erasure in Idris 2 (2020)​

• ​A game in a pure language (part 1): introduction and problems with Idris (2020)​

• ​Linearity and Erasure in Idris 2 (2020)​

• ​Collection of Idris snippets​

• ​Elba - Package manager for Idris.

• ​Statebox's FSM-Oracle - Finite state machines as graphs.

• ​Idris 2: Quantitative Type Theory in Action (Web)

• ​Self-hosted Idris 2​

• ​Why is Idris 2 so much faster than Idris 1? (2020) (HN) (Reddit)

• ​Scheme Workshop Keynote: Edwin Brady (2019)​

• ​Type-Driven Development with Idris book (Updates required)

• ​libc.idr - Bindings to the C standard library for Idris2.

• ​Edwin Brady Tells Us What's New in Idris 2 (2020)​

• ​A simple Parser Combinator library in Idris (2020)​

• ​Idris 2 Erlang - Erlang code generator for Idris 2. (HN)

• ​Inigo - Package manager for Idris 2 to help use and share Idris code.

• ​SPLV 2020 - Course notes and supporting code for the Scottish Programming Language and Verification summer school course on "The Implementation of Idris 2".

• ​Metaprogramming in Idris (2020)​