Skip to content

Type Int.div and Int.mod with a nonzero literal divisor as total - #806

Merged
jasisz merged 2 commits into
mainfrom
feat/literal-divisor-discharge
Aug 7, 2026
Merged

Type Int.div and Int.mod with a nonzero literal divisor as total#806
jasisz merged 2 commits into
mainfrom
feat/literal-divisor-discharge

Migrate playground sources and discharge literal divisors under --sel…

c2c883a
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar