GitHub - belamenso/idris-book: Notes and exercises from "Type-Driven Development with Idris"

belamenso / idris-book Public

Notes and exercises from "Type-Driven Development with Idris"

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 22 Commits
ch1 - Overview		ch1 - Overview
ch2 - Getting started with Idris		ch2 - Getting started with Idris
ch3 - Interactive development with types		ch3 - Interactive development with types
ch4 - User-defined data types		ch4 - User-defined data types
ch5 - Interactive programs: IO processing		ch5 - Interactive programs: IO processing
ch6 - Programming with first-class types		ch6 - Programming with first-class types
ch7 - Interfaces		ch7 - Interfaces
ch8 - Equality		ch8 - Equality
ch9 - Predicates		ch9 - Predicates
.gitignore		.gitignore