Skip to content

Let sum with EmulatedIntegers return Int as required - #19

Merged
PatrickHaecker merged 1 commit into
mainfrom
sum_Int
Sep 10, 2026
Merged

Let sum with EmulatedIntegers return Int as required#19
PatrickHaecker merged 1 commit into
mainfrom
sum_Int

Commits

Commits on Sep 9, 2026