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

feat: Show type defs on separate row above terms

dc9385f
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs