Skip to content

Commit 654284c

Browse files
chrisdone-artificialchrisdone-artificial
authored
Merge pull request #101 from chrisdone/cd/2025-06-24-generalizing-forall
Generalize forall and class constraints
2 parents 398c9d7 + 87aeaf0 commit 654284c

2 files changed

Lines changed: 631 additions & 451 deletions

File tree

0 commit comments

Comments
 (0)