Glueing Modal Instances - #1320

Draft

quffaro wants to merge 23 commits into

mainfrom

cm/glueing-modal-instances

Commits on Jun 4, 2026

Switching specializations to equality types in diagrams
KevinDCarlson
committed
getting rid of the silly augment_with_lifts hack ahead of proper instance datatype
KevinDCarlson
committed

Commits on Jun 5, 2026

Commits on Jun 11, 2026

should split: forgot to add DblModelInstances before; secondly, got rid of diagram keyword and started interpret instances as terms of types.
KevinDCarlson
committed
:= morphism assignment and set literals
KevinDCarlson
committed

Commits on Jun 12, 2026

Commits on Jun 13, 2026

Commits on Jun 15, 2026

clippy
KevinDCarlson
committed

Commits on Jun 16, 2026