Skip to content

Add special rules for Nat zero and suc constructors - #462

Merged
jespercockx merged 1 commit into
agda:masterfrom
jespercockx:zero-suc
Aug 26, 2026
Merged

Add special rules for Nat zero and suc constructors#462
jespercockx merged 1 commit into
agda:masterfrom
jespercockx:zero-suc

Add special rules for Nat zero and suc constructors

2734fac
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
deploy (3.14)
succeeded Aug 26, 2026 in 13s