Skip to content

[Feat] Archimedean conditionals: remove superfluous type parameters#339

Merged
lrnv merged 2 commits intomainfrom
reduce_type_params
Oct 17, 2025
Merged

[Feat] Archimedean conditionals: remove superfluous type parameters#339
lrnv merged 2 commits intomainfrom
reduce_type_params

Commits

Commits on Oct 17, 2025