Unplugged Versions Save

This release contains the whole book with 108 exercises/answers in both English and Chinese.

This release contains the answers to the exercises in English. It covers total 108 exercises in this book.

We'll lively update the answers in Chinese under this release tag.

• 5/15: Answers to preface and chapter 1 of natural numbers;
• 5/21: Answers to chapter 2 of recursion;
• 6/5: Answers to chapter 3 of abstract algebra;
• 6/19: Answers to chapter 4 of category theory;
• 6/25: Answers to chapter 5 of fusion;
• 6/25: Answers to chapter 6 of infinity;
• 6/25: Answers to chapter 7 of paradox.

This release contains the whole book in English

This release contains the English translation of the last chapter about Paradox and Godel's incompleteness theorems.

This release contains preface in both English and Chinese.

This release contains the English translation of Chapter 6, together with editorial work in its Chinese content.

This release contains the English translation for Chapter 5 about program deduction, and foldr/build fusion law. It also contains the corrections for the Chinese version.

This release contains the English translation for Chapter 4 about the category theory, and the corrections for the Chinese version.

This release contains the English translation for Chapter 3 - Abstract Algebra. I also correct some errors in the Chinese version Chapter 3