Skip to content

[ fix #460 ] if/then/else as first argument to infix needs parens - #461

Merged
jespercockx merged 1 commit into
agda:masterfrom
jespercockx:issue460
Aug 17, 2026
Merged

[ fix #460 ] if/then/else as first argument to infix needs parens#461
jespercockx merged 1 commit into
agda:masterfrom
jespercockx:issue460

[ fix #460 ] if/then/else as first argument to infix needs parens

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