/tdd-solutions

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

Primary LanguageIdrisGNU General Public License v3.0GPL-3.0

tdd-solutions

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