Closed GoogleCodeExporter closed 9 years ago
Original comment by adrianqu...@gmail.com
on 8 May 2009 at 4:00
1. Code snippets appear to be rendered correctly now. Wherever italicization
occurs in snippets, it appears to be
consistent with the italicization in full program listings.
2. I have rewritten the Notation section (now B.2 Types and Notation) to be
consistent with the new
documentation for the type checker in Chapter 4, resolving this issue.
Original comment by dkitc...@gmail.com
on 13 Aug 2009 at 1:13
Original comment by jthywissen
on 3 Mar 2010 at 10:47
Original issue reported on code.google.com by
adrianqu...@gmail.com
on 7 May 2009 at 2:21