- 追加された行はこの色です。
- 削除された行はこの色です。
- TypeSystem へ行く。
- TypeSystem の差分を削除
#author("2025-03-16T09:24:11+00:00","default:yoya","yoya") TITLE:Type System (型システム) - [[TAPL]] Types and Programming Languages - 代数的データ型 ([[AlgebraicDataType]]) * 関連 [#rel] - [[Programming]]