Skip to content

AdtDef is an algebraic data type, not abstract data type#64357

Merged
bors merged 1 commit into
masterfrom
adt-docs-fix
Sep 17, 2019
Merged

AdtDef is an algebraic data type, not abstract data type#64357
bors merged 1 commit into
masterfrom
adt-docs-fix

`AdtDef` is an algebraic data type, not abstract data type.

2fd4e58
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs