Skip to content

Generalize forall and class constraints - #101

Merged
chrisdone-artificial merged 3 commits into
mainfrom
cd/2025-06-24-generalizing-forall
Oct 3, 2025
Merged

Generalize forall and class constraints#101
chrisdone-artificial merged 3 commits into
mainfrom
cd/2025-06-24-generalizing-forall

Gen docs

87aeaf0
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

The logs for this run have expired and are no longer available.