Skip to content

Allow for recursive types - #1

Draft
FrancoisLaferriere wants to merge 17 commits into
potassco:masterfrom
FrancoisLaferriere:recursive
Draft

Allow for recursive types#1
FrancoisLaferriere wants to merge 17 commits into
potassco:masterfrom
FrancoisLaferriere:recursive

Fix unfolding order for subtype check

51dff7b
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning
test on macos-latest
succeeded Sep 2, 2026 in 41s