Skip to content

feat: subtype/generalization via subtypeOf (#8)#21

Merged
jbeda merged 2 commits into
mainfrom
feat-subtype
Jul 22, 2026
Merged

feat: subtype/generalization via subtypeOf (#8)#21
jbeda merged 2 commits into
mainfrom
feat-subtype

Review fix: accurate wording for a cyclic subtypeOf chain

b6e519e
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar