Skip to content

Type annotations for all poly types#305

Merged
oscarbenjamin merged 4 commits into
flintlib:mainfrom
oscarbenjamin:pr_types_fq_default_poly
Jul 24, 2025
Merged

Type annotations for all poly types#305
oscarbenjamin merged 4 commits into
flintlib:mainfrom
oscarbenjamin:pr_types_fq_default_poly

typ: annotations and missing methods for poly types

c682ca7
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.