Idris-2 (https://github.com/idris-lang/Idris2) answers to exercises from Bartosz Milewski's The Dao of Functional Programming (https://github.com/BartoszMilewski/Publications/tree/master/TheDaoOfFP)
rokopt/dao-fp-exercises
Idris answers to exercises from Bartosz Milewski's _The Dao of Functional Programming_ (https://github.com/BartoszMilewski/Publications/tree/master/TheDaoOfFP)
IdrisMIT