Skip to content

Vertically separate type and term definitions#1001

Merged
georgefst merged 3 commits into
mainfrom
georgefst/types-as-separate-row
Jul 4, 2023
Merged

Vertically separate type and term definitions#1001
georgefst merged 3 commits into
mainfrom
georgefst/types-as-separate-row

Commits

Commits on Jul 4, 2023