Skip to content

Parse existentials in annotations#11

Merged
coord-e merged 3 commits into
mainfrom
existential-in-annot
Dec 14, 2025
Merged

Parse existentials in annotations#11
coord-e merged 3 commits into
mainfrom
existential-in-annot

Test parsing existentials

9a6a2b7
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar