txa / cftlfp Goto Github PK

Since this is a book for functional programmers, we ought to make liberal use of lambda expressions. But the Preliminaries section should introduce explicitly what our notation is (i.e. do we use the traditional dot separator, or Haskell/Agda style arrow?), and the use should be consistent.

Make the book more visually distinct and engaging by making better use of colors and graphics

Stating definitions inline makes it harder and imprecise to refer to them later. Every key definition, theorem, equation, figure, etc. should be put in an environment, so they can be numbered and hyperlinked

It doesn't make sense to keep everything a multi-thousand line tex file. Should be split into standalone files, ideally which can be compiled separately.

To-do:

• Write exercise solutions into LaTeX

• Compile notes separately with & without sols

The answers to questions and exercises should appear at the end of the book so that students can first do them themselves and then compare their answers with ours.