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

Let `sum` with `EmulatedInteger`s return `Int` as required

386faef
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar