Skip to content

Descend through nested matches; prove Nat and Int contracts - #10

Open
yogthos wants to merge 2 commits into
mainfrom
nested-descent-and-int-contracts
Open

Descend through nested matches; prove Nat and Int contracts#10
yogthos wants to merge 2 commits into
mainfrom
nested-descent-and-int-contracts

Prove Nat and Int return contracts

e985a17
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning and 1 notice
test
succeeded Sep 24, 2026 in 47m 49s