Name		Name	Last commit message	Last commit date
app		app
image		image
src		src
test		test
.dir-locals.el		.dir-locals.el
.gitignore		.gitignore
ChangeLog.md		ChangeLog.md
IdrisTddNotes.cabal		IdrisTddNotes.cabal
IdrisTddNotes.ipkg		IdrisTddNotes.ipkg
LICENSE		LICENSE
Makefile		Makefile
README.md		README.md
Setup.hs		Setup.hs
out.splice		out.splice
stack.yaml		stack.yaml

Repository files navigation

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.

About

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

book-notes dependent-types haskell idris literate-programming type-driven-development

BSD-3-Clause license

49 stars

9 watching

Report repository

Releases

Packages

Contributors

Languages