GitHub - mr-infty/tdd: Solutions to the exercises in 'Type-Driven Development with Idris'

mr-infty / tdd Public

Solutions to the exercises in 'Type-Driven Development with Idris'

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 45 Commits
ch-1		ch-1
ch-10		ch-10
ch-11		ch-11
ch-12		ch-12
ch-13		ch-13
ch-14		ch-14
ch-15		ch-15
ch-2		ch-2
ch-3		ch-3
ch-5		ch-5
ch-6		ch-6
ch-7		ch-7
ch-8		ch-8
ch-9		ch-9
.gitignore		.gitignore
Errata.md		Errata.md

About

Solutions to the exercises in 'Type-Driven Development with Idris'

No releases published

No packages published