My solutions to the exercises in Type Driven Development by Edwin Brady in Idris2
Primary LanguageIdrisGNU General Public License v3.0GPL-3.0