/gidti

Book: Gentle Introduction to Dependent Types with Idris

No issues in this repository yet.