leetschau / type-driven-development-with-Idris Public

Notifications You must be signed in to change notification settings
Fork 0
Star 0

Notes and answers of the book "Type Driven Development with Idris" by Edwin Brady

0 stars 0 forks Branches Tags Activity

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 2 Commits
chapter1		chapter1
chapter2		chapter2
.gitignore		.gitignore
README.md		README.md

Repository files navigation

Intro

Notes and exercise answers of Type Driven Development with Idris by Edwin Brady.

References:

edwinb/TypeDD-Samples

About

Notes and answers of the book "Type Driven Development with Idris" by Edwin Brady

Report repository

Releases

No releases published

Packages

No packages published

Languages

Idris 100.0%