Home / Functional Programming / Idris Koans Idris Koans Project for teaching Idris. A General Purpose Functional Programming with Dependent Types Package 182 stars GitHub Back to Functional Programming
