This repository was archived by the owner on Apr 25, 2025. It is now read-only.

State principal types#91

Merged

rossberg merged 2 commits into

subsumptionfrom

Feb 21, 2023

Commits on Feb 14, 2023

State principal types
rossberg
committed

Commits on Feb 15, 2023

Add statements about glbs, lubs, and disjoint hierarchies
rossberg
committed