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