sdiehl / write-you-a-haskell

Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)
MIT License
3.34k stars 256 forks source link

changes to the Type Systems chapter #51

Closed chsievers closed 9 years ago

chsievers commented 9 years ago

hope everything is okay

sdiehl commented 9 years ago

Looks great, the notation reference section is more consistent with the rest of the text which is great.