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

Substitution #3

Closed fryguybob closed 9 years ago

fryguybob commented 9 years ago

In chapter 4 the substitution application is written before the expression [x/a]e except in the section titled "Conversion and Equivalences".

sdiehl commented 9 years ago

Thanks for catching that, I did change the notation around halfway through writing. I'll fix that.

fryguybob commented 9 years ago

I'm very much enjoying the writing and look forward to future chapters!