rpeszek/IdrisTddNotes

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

语言：Haskell · GitHub 星标：49 · Fork：5

话题：book-notes · dependent-types · haskell · idris · literate-programming · type-driven-development

在 GitHub 上查看原仓库