程式語言、邏輯學

導航：首頁 > 程式語言、邏輯學

${\frac {A\rightarrow B~~~A}{B}}$

Personal projects / 個人專案

• Projects

邏輯學、型別理論

• 形式邏輯筆記 (Note of Forall X)
• 型別理論與形式證明筆記 (Note of Type Theory and Formal Proof: An Introdution)

程式語言

• TeX for the Impatient 兩三事 (原書)
• 玩具語言
  • 中間語言
    • File:C-like S-scheme 格式架構.pdf
    • File:玩具語言BNF.pdf
    • File:編譯器的流程.pdf
    • 玩具語言的型別推理原則
  • 關於編譯器的一些想法

• 排版論

程式語言撇步

• OCaml筆記
• Rust筆記
• 視覺化2個文件的差分 (diff) vim -d 檔案1 檔案2