Name		Name	Last commit message	Last commit date
Chapter1		Chapter1
Chapter10		Chapter10
Chapter11		Chapter11
Chapter12		Chapter12
Chapter13		Chapter13
Chapter14		Chapter14
Chapter15		Chapter15
Chapter2		Chapter2
Chapter3		Chapter3
Chapter4		Chapter4
Chapter5		Chapter5
Chapter6		Chapter6
Chapter7		Chapter7
Chapter8		Chapter8
Chapter9		Chapter9
LICENSE		LICENSE
README.md		README.md

Repository files navigation

Type Driven Development with Idris

Sample code and exercise solutions from "Type Driven Development with Idris", available from https://www.manning.com/books/type-driven-development-with-idris

About

Sample code from "Type Driven Development with Idris"

Custom properties

0 stars

4 watching

Report repository

Releases

Packages

Contributors

Languages