「型別理論與形式證明筆記」修訂間的差異

型別理論與形式證明筆記 (檢視原始碼)

增加 12 位元組、 2024年7月9日 (星期二)

2,617

次編輯

@@ 行 126： / 行 126： @@
 <pre>
-(a) *A*
+(a) *假設A*
-(b)   | *B*
+(b)   | *假設B*
 (1)   | | C
        | | ⋮