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.

Name		Name	Last commit message	Last commit date
Latest commit History 90 Commits
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

Provide feedback