Literate program notes from reading 'TDD with Idris' book comparing Idris and Haskell
Primary LanguageHaskellBSD 3-Clause "New" or "Revised" LicenseBSD-3-Clause