Stars
Software Foundations in Idris
Koans are small lessons on the path to enlightenment. The aim of the Idris Koans project is to provide an easy learning environment in Idris. Your insight will be derived by encountering failing co…
Various data structures for use in the Idris Language.
Transducers for Idris: a library for composable algorithmic transformation.
Experiments in implementing functional data structures in Idris
Idris package defining, implementing, and verifying naiive Gaussian elimination over the integers in some system of linear algebra.
A type safety challenge in Idris: encoding the rules of Bowling inside the type system
Exercise Solutions for Type-Driven Development with Idris