search

bor0 / gidti

Book: Introduction to Dependent Types with Idris
https://leanpub.com/gidti
Other
76 stars 4 forks source link

[4.1.5] Minor edits #41

Closed nbloomf closed 6 years ago