Skip to content

Document GADT constructors - #348

Merged
phadej merged 1 commit into
masterfrom
gadt-haddock
Feb 17, 2019
Merged

Document GADT constructors#348
phadej merged 1 commit into
masterfrom
gadt-haddock

Commits

Commits on Feb 10, 2019