A revision of chapter 10

sofp-draft-src.pdf
sofp.pdf

Some minor changes in chapter 10, improving the discussion of monad runners.

Draft up to chapter 10 inclusive

v0.10

minor corrections

v0.8.1

Added a short chapter "Reasoning about code. Techniques of symbolic derivation" as chapter 7.

First 8 chapters proofread

sofp.pdf

First 7 chapters proofread

Chapter 7 (typeclasses) has been added.

First 6 chapters proofread

• First 6 chapters were proofread and corrected again
• Added half-title