====== Reading ======
===== Recommended Book List =====

  - [[https://www.amazon.com/dp/069111966X|How to Solve It]]
  - [[https://www.amazon.com/dp/9888407066|Mathematics for Computer Science]]
  - [[https://www.amazon.com/dp/125967651X/|Discrete Mathematics and Its Applications (8th Edition)]]
  - [[https://www.amazon.com/dp/B08PDBFQHQ|Princeton Lifesaver Study Guides (3 books)]]
  - [[https://linear.axler.net/|Linear Algebra Done Right]]
  - [[https://www.amazon.com/dp/0321942043|From Mathematics to Generic Programming]]
  - [[https://web.mit.edu/6.001/6.037/sicp.pdf|SICP: Structure and Interpretation of Computer Programs]]
  - [[https://nostarch.com/realmofracket.htm|Realm of Racket]]
  - [[https://learnyouahaskell.com/|Learn You a Haskell for Great Good]]
  - [[https://book.douban.com/subject/36347220/|Isomorphism -- Mathematics in Programming]]
  - [[https://bartoszmilewski.com/2014/10/28/category-theory-for-programmers-the-preface/|Category Theory for Programmers]]
  - [[https://www.amazon.com/dp/052171916X|Conceptual Mathematics: A First Introduction to Categories]]
  - [[https://www.amazon.com/dp/1108477224|The Joy of Abstraction: An Exploration of Math, Category Theory, and Life]]
  - [[https://www.amazon.com/dp/B08PF5GJ8X|Basic Category Theory for Computer Scientists]]
  - [[https://www.amazon.com/dp/0199237182|Category Theory]]
  - [[https://www.amazon.com/dp/B000W924FI|A Modern Perspective on Type Theory - From its Origins until Today]]
  - [[https://plfa.github.io/|PLFA: Programming Language Foundations in Agda]]
  - [[https://www.amazon.com/dp/110703650X|Type Theory and Formal Proof: An Introduction]]
  - [[https://www.amazon.com/dp/0521771730|Derivation and Computation - Taking the Curry-Howard Correspondence Seriously]]
  - ...