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)
-
Notifications
You must be signed in to change notification settings - Fork 2
Idris answers to exercises from Bartosz Milewski's _The Dao of Functional Programming_ (https://github.com/BartoszMilewski/Publications/tree/master/TheDaoOfFP)
License
rokopt/dao-fp-exercises
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
Idris answers to exercises from Bartosz Milewski's _The Dao of Functional Programming_ (https://github.com/BartoszMilewski/Publications/tree/master/TheDaoOfFP)
Resources
License
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published