Idris

My (wonderful) excursions in Idris

tdd-ex contains my solutions to Edwin Brady's (excellent) Type-Driven Development in Idris

misc contains general thoughts and ramblings I have about Idris

Name		Name	Last commit message	Last commit date
misc		misc
tdd-ex		tdd-ex
.gitignore		.gitignore
DataDeclNotObviousToBeginners.idr		DataDeclNotObviousToBeginners.idr
NatTrans.idr		NatTrans.idr
PLC.idr		PLC.idr
README.md		README.md

Navigation Menu