My notes from reading Type Driven Development with Idris. Currently in (or comparing Idris to) Haskell, working on Scala version.
Please see generated Wiki pages.
-
Notifications
You must be signed in to change notification settings - Fork 5
Literate program notes from reading 'TDD with Idris' book comparing Idris and Haskell
License
rpeszek/IdrisTddNotes
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
Literate program notes from reading 'TDD with Idris' book comparing Idris and Haskell
Topics
Resources
License
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published