Branches

Search

Branch	Updated	Check status	BehindAhead	Pull request	Action menu
signature-bug Copy branch name to clipboard	Oct 18, 2025				Delete branchBranch menu
nonzero-instance-arguments Copy branch name to clipboard	Oct 18, 2025				Delete branchBranch menu
no-sized-types-and-guardedness Copy branch name to clipboard	Oct 18, 2025				Delete branchBranch menu
nat-combinatorics Copy branch name to clipboard	Oct 18, 2025				Delete branchBranch menu
list-sugar Copy branch name to clipboard	Oct 18, 2025				Delete branchBranch menu
gh-pages Copy branch name to clipboard	Oct 18, 2025				Delete branchBranch menu
future-hetcon-std-lib Copy branch name to clipboard	Oct 18, 2025				Delete branchBranch menu
experimental Copy branch name to clipboard	Oct 18, 2025				Delete branchBranch menu
contradiction-combinator Copy branch name to clipboard	Oct 18, 2025				Delete branchBranch menu
changelog Copy branch name to clipboard	Oct 18, 2025				Delete branchBranch menu
agda-issue-4560 Copy branch name to clipboard	Oct 18, 2025				Delete branchBranch menu