Skip to content

[ fix #385 ] Implement predNat primitive - #459

Merged
jespercockx merged 1 commit into
agda:masterfrom
jespercockx:issue385
Aug 5, 2026
Merged

[ fix #385 ] Implement predNat primitive#459
jespercockx merged 1 commit into
agda:masterfrom
jespercockx:issue385

[ fix #385 ] Implement `predNat` primitive

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