Quartz 5

代数的データ型

Properties2
tagslang/type-theory
aliasesGAT, GADT

1 min read

Graph View

Backlinks