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

{{Nav}}

<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 原書])
* 玩具語言
** 中間語言
*** [[:File:C-like S-scheme 格式架構.pdf]]
** [[關於編譯器的一些想法]]
* [[Rust筆記]]
* 視覺化2個文件的差分 (diff) <code>vim  -d 檔案1 檔案2</code> 

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