Robert Peszek
Results
2
repositories owned by
Robert Peszek
IdrisTddNotes
47
Stars
5
Forks
Watchers
Literate program notes from reading 'TDD with Idris' book comparing Idris and Haskell
notes-milewski-ctfp-hs
32
Stars
1
Forks
Watchers
Notes (in literate Haskell) from reading Category Theory for Programmers by Bartosz Milewski