Giters

asett0 / tdd-solutions

My solutions to the exercises in Type Driven Development by Edwin Brady in Idris2

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

tdd-solutions

My solutions to the exercises in Type Driven Development by Edwin Brady in Idris2

About

My solutions to the exercises in Type Driven Development by Edwin Brady in Idris2

License:GNU General Public License v3.0

Languages

Language:Idris 100.0%