search

bor0 / gidti

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

Ch3.1 #29

Closed nbloomf closed 6 years ago

nbloomf commented 6 years ago

Contains #28 by mistake (oops)