2,617
次編輯
「型別理論與形式證明筆記Sec2.8-2.10.pdf/原始碼」修訂間的差異
建立內容為「檔案:型別理論與形式證明筆記Sec2.8-2.10.pdf的Typst原始碼。 <pre> #show regex("\p{sc=Hani}+"): set text(font: ("Noto Serif CJK TC"), lang: "…」的新頁面
Tankianting（討論 | 貢獻） （建立內容為「檔案:型別理論與形式證明筆記Sec2.8-2.10.pdf的Typst原始碼。 <pre> #show regex("\p{sc=Hani}+"): set text(font: ("Noto Serif CJK TC"), lang: "…」的新頁面） |
（無差異）
|