Skip to content

Unnumbered lists of constructors for polyvariants and extensible variants#987

Closed
wikku wants to merge 2 commits intoocaml:masterfrom
wikku:unnumbered-lists
Closed

Unnumbered lists of constructors for polyvariants and extensible variants#987
wikku wants to merge 2 commits intoocaml:masterfrom
wikku:unnumbered-lists

Commits

Commits on Aug 3, 2023