rpeszek / IdrisTddNotes
Literate program notes from reading 'TDD with Idris' book comparing Idris and Haskell
☆47Updated 2 years ago
Related projects ⓘ
Alternatives and complementary repositories for IdrisTddNotes
- Benchmarks to compare Haskell streaming library performance