IdrisTddNotes icon indicating copy to clipboard operation
IdrisTddNotes copied to clipboard

Published 20 hours ago • verified publisher icon rpeszek
→

Metadata

Literate program notes from reading 'TDD with Idris' book comparing Idris and Haskell

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.

← Metadata

47
Stars
5
Forks
Watchers

Owner

verified publisher icon rpeszek

Metadata

Literate program notes from reading 'TDD with Idris' book comparing Idris and Haskell

Back