search

bor0 / gidti

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

Add some prose about the significance of simple types #31

Closed nbloomf closed 6 years ago

nbloomf commented 6 years ago

It's nice to have a little prose before jumping into a definition.