IdrisTddNotes Save
Literate program notes from reading 'TDD with Idris' book comparing Idris and Haskell
Project README
IdrisTddNotes
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.
Open Source Agenda is not affiliated with "IdrisTddNotes" Project. README Source: rpeszek/IdrisTddNotes
Stars
47
Open Issues
0
Last Commit
2 years ago
Repository
License
Open Source Agenda Badge
