「Template:型システム」の版間の差分

削除された内容追加された内容

インライン

2021年9月29日 (水) 13:04時点における版

@@ 14行目: / 14行目: @@
 | heading3 = type theory concepts
 | content3 =
-[[:en:Product type|直積型]]  -  [[:en:Sum type|直和型]]<br/>[[:en:Intersection type|交差型]]  -  [[:en:Union type|共用型]]<br/>[[:en:Unit type|単一型]]  -  [[:en:Option type|選択型]]<br/>[[:en:Inductive type|帰納型]]  -  [[:en:Refinement type|精製型]]<br/>[[:en:Top type|トップ型]]  -  [[ボトム型]]<br/>[[:en:Quotient type|指数型]]  -  [[:en:Existential type|存在型]]<br/>[[:en:Uniqueness type|一意型]]  -  [[:en:Substructural_type_system#Linear_type_systems|線形型]]
+[[:en:Product type|直積型]]  -  [[:en:Sum type|直和型]]<br/>[[:en:Intersection type|交差型]]  -  [[:en:Union type|共用型]]<br/>[[:en:Unit type|単一型]]  -  [[:en:Option type|選択型]]<br/>[[:en:Inductive type|帰納型]]  -  [[:en:Refinement type|精製型]]<br/>[[:en:Top type|トップ型]]  -  [[ボトム型]]<br/>[[:en:Quotient type|商型]]  -  [[:en:Existential type|存在型]]<br/>[[:en:Uniqueness type|一意型]]  -  [[:en:Substructural_type_system#Linear_type_systems|線形型]]
 }}<noinclude>