Skip to content

Add Natural/equal and Natural/lessThan primitives#2739

Open
nikita-volkov wants to merge 2 commits into
dhall-lang:mainfrom
nikita-volkov:natural/equal-and-less-than
Open

Add Natural/equal and Natural/lessThan primitives#2739
nikita-volkov wants to merge 2 commits into
dhall-lang:mainfrom
nikita-volkov:natural/equal-and-less-than

Commits

Commits on May 1, 2026

Commits on May 4, 2026