Skip to content

feat: support function types and fix blanket impl types - #12

Merged
FedericoBruzzone merged 12 commits into
AdaptLab-CS:mainfrom
Ceratosenzaf:main
Jan 3, 2026
Merged

feat: support function types and fix blanket impl types#12
FedericoBruzzone merged 12 commits into
AdaptLab-CS:mainfrom
Ceratosenzaf:main

Commits

Commits on Dec 11, 2025

Commits on Dec 12, 2025

Commits on Jan 3, 2026