The Power of Types in Idris (2019)
Idris koans
Awesome Idris
Blodwen - Prototype implementation of Idris 2.
linear - Profunctor optics for linear types.
States - State machines in Idris.
