ConnorBaker / TDDWI Public

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

Exercises from Type Driven Development with Idris

0 stars 0 forks Branches Tags Activity

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 8 Commits
.gitignore		.gitignore
DataStoreChp4.idr		DataStoreChp4.idr
DataStoreChp6.idr		DataStoreChp6.idr
README.md		README.md
chp3.idr		chp3.idr
chp4.idr		chp4.idr
chp5.idr		chp5.idr
chp6.idr		chp6.idr

Repository files navigation

Exercises from Edwin Brady's Type Driven Development with Idris

About

Exercises from Type Driven Development with Idris

Report repository

Releases

No releases published

Packages

No packages published

Languages

Idris 100.0%