8000 Commits · agda/agda · GitHub

More Web Proxy on the site http://driver.im/

Commits

Commits on May 31, 2025

[ fix #6111 ] Clarify the difference between irrelevance, run-time irrelevance, and Prop

jespercockx
authored and
andreasabel
committed
Fix #7916: make optimise-heavily the default

AndrasKovacs
authored and
andreasabel
committed

Commits on May 30, 2025

fix #7911: range information for unsolved instance constraints

UlfNorell
authored and
andreasabel
committed

Commits on May 28, 2025

Commits on May 27, 2025

Commits on May 15, 2025

disable discrim-based instance deferral by default (#7885)

plt-amy
and
andreasabel
authored

Commits on May 14, 2025

[ re #7876 ] Do not look inside BlockedConst for now

jespercockx
authored and
andreasabel
committed
[ fix #7876 ] Check meta instantiation in constraintMetas

jespercockx
authored and
andreasabel
committed
Defer `MissingDefinitions` error in `--safe` until after typechecking

szumixie
authored and
andreasabel
committed
Update golden test

szumixie
authored and
andreasabel
committed
Fix #7878: reorder checks in `mkNotation`

szumixie
authored and
andreasabel
committed

Commits on May 13, 2025

Commits on May 9, 2025

Commits on May 8, 2025

Re #7832: place base OccM on ReduceM instead of TCM
andreasabel
committed

0