Giters

sdiehl / write-you-a-haskell

Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Untyped chapter has out of order material

reinh opened this issue · comments

commented

Stephen, wonderful work here!

The Untyped chapter includes a section on pretty printing but some of the material relating to pretty printing appears earlier, at the end of the Reduction section, and seems out of order.

commented

Indeed, the pretty printer section wasn't moved properly.

commented

I reflowed the section on the Untyped Lambda Calculus, hopefully it makes more sense now.

https://github.com/sdiehl/write-you-a-haskell/blob/master/lambda_calculus.md

commented

Unfortunately, the phrase "The p variable will indicate our depth within the current structure" is now somewhat confusing as p seems to refer to "class Pretty p where".

I've submitted #15 to address this. Please feel free to use all, some, or none of my changes.