search

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

Fix typo in substitution definition #61

Closed yanok closed 9 years ago

yanok commented 9 years ago

y \notin\FV{e} should be y \notin\FV{a}.

sdiehl commented 9 years ago

Thanks!