8000 Branches · agda/agda · GitHub

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

8000

Branches

Search

Branch	Updated	Check status	BehindAhead	Pull request	Action menu
master	May 15, 2025
gh-pages	May 15, 2025
aliao/new-record-where	May 14, 2025
release-2.8.0-candidate	May 10, 2025
release-2.8.0	May 10, 2025
release-2.8.0-base	May 10, 2025
changelog	May 10, 2025
remove-record-where	May 10, 2025
error-cubical-not-erasure	May 5, 2025
issue-7842	May 2, 2025
import-as	May 1, 2025
scope-check-import	May 1, 2025
unsafe-pragmas	May 1, 2025
issue-7829	May 1, 2025
SafeFlagPragma-obsolete	Apr 28, 2025
reduce-dontUnfold-orM	Apr 28, 2025
ensure-hash-is-correct	Apr 24, 2025
fix-7815	Apr 20, 2025
disambiguate-constructor	Apr 19, 2025
mimer-refactor	Apr 19, 2025

0