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

{{Nav}}

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

== Personal projects / 個人專案 ==
* [[Projects]]

== 邏輯學、型別理論 ==
* [[形式邏輯筆記]] (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 原書])
* 玩具語言
** 中間語言
*** [[:File:C-like S-scheme 格式架構.pdf]]
*** [[:File:玩具語言BNF.pdf]]
*** [[:File:編譯器的流程.pdf]]
*** [[玩具語言的型別推理原則]]
** [[關於編譯器的一些想法]]

* [[排版論]]

== 程式語言撇步 ==
* [[OCaml筆記]]
* [[Rust筆記]]
* 視覺化2個文件的差分 (diff) <code>vim  -d 檔案1 檔案2</code> 

[[category:資訊]]
[[category:邏輯學]]