Skip to content
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 from
Feb 21, 2023

Add statements about glbs, lubs, and disjoint hierarchies

138095c
Select commit
Loading
Failed to load commit list.
Merged

State principal types #91

Add statements about glbs, lubs, and disjoint hierarchies
138095c
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs