檢視程式語言、邏輯學的原始碼

<math>
\frac{A\rightarrow B~~~A}{B}
</math>

== 邏輯學、型別理論 ==
* [[形式邏輯筆記]] (Note of ''[[:檔案:Forallx-Cambridge.pdf|Forall X]]'')
* [[型別理論與形式證明筆記]] (Note of ''Type Theory and Formal Proof: An Introdution'')

== 程式語言 ==
* [[TeX for the Impatient 兩三事]] ([https://ctan.org/pkg/impatient 原書])
* [[關於編譯器的一些想法]]