Skip to content
/ idris-book Public

Going through exercises in the Type Driven Development book

0 stars 0 forks Branches Tags Activity
Star
Notifications You must be signed in to change notification settings

bkase/idris-book

BranchesTags

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

9 Commits
ch1
ch1
 
 
ch2
ch2
 
 
ch3
ch3
 
 
ch4
ch4
 
 
.gitignore
.gitignore
 
 
README.md
README.md
 
 

Repository files navigation

Exercises for Type Driven Development

This is where I'll be storing my solutions to the Type Driven Development with Idris.

Goal of this repo: To make sure I go through all the exercises

About

Going through exercises in the Type Driven Development book

Topics

book idris excercises type-driven-development

Resources

Readme
Activity

Stars

0 stars

Watchers

3 watching

Forks

0 forks
Report repository

Releases

No releases published

Packages

No packages published

Languages