读书/学习笔记
Category Theory 笔记 1
Introduction to Type Theory 笔记 1
A Mathematical Introduction to Logic 笔记 2
Programming Language Foundations in Agda 笔记 1
Introduction to Mathematical Logic 笔记 6
Good Read Sat, 2000/01/01