Open book about math and programming.
This release contains:
For Chapter of 'Category', moved some mathematic proof to the appendix of the book. Adjusted the figure layout in Chapter 1.
Preview of the whole book in Chinese
Preview for the last chapter.
New chapter about infinity, stream programming, and F-coalgebra, and transfinite numbers.
New chapter about program deduction
New chapter about Category theory
Chapter 3 about Group, Ring, Field, and Galois Theory. This release only contains Chinese version.
Chapter 2 about recursion, Euclidean algorithm, lambda calculus, and Y-combinator.
The sample Chapter about Natural Numbers and Programming.