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