issues
search
bor0
/
gidti
Book: Introduction to Dependent Types with Idris
https://leanpub.com/gidti
Other
76
stars
4
forks
source link
Grammar fix
#25
Closed
nbloomf
closed
6 years ago