winitzki
commented
1 year ago - [x] Start reformatting the text to 12pt but still generate a 10pt pdf file until reformatting is done.
- [x] Split book into 3 volumes.
- [ ] Finish the long proof of P-algebra morphism property for free typeclass evaluators.
- [ ] Continue writing Chapter 13.