bor0 / gidti

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

Chapter 1.1 edits #17

Closed nbloomf closed 6 years ago

nbloomf commented 6 years ago

I didn't find the proof of the MU theorem to be convincing, so I made some edits :)

Also made some smoothing edits, and added substitution details to the example MU derivation.