8000 Branches · flupe/agda-stdlib · GitHub

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

Branches

Search

Branch	Updated	Check status	BehindAhead	Pull request	Action menu
master	Apr 11, 2020
tree	Jul 15, 2025
trans	Jul 15, 2025
structure-preserving	Jul 15, 2025
sorted-list	Jul 15, 2025
on-wellFounded	Jul 15, 2025
new-ghc	Jul 15, 2025
nat-nonzero	Jul 15, 2025
move-avl	Jul 15, 2025
metrics	Jul 15, 2025
logical-reasoning	Jul 15, 2025
list-binary-refactor	Jul 15, 2025
lessThan-reasoning	Jul 15, 2025
issue870	Jul 15, 2025
infix-append	Jul 15, 2025
gh-pages	Jul 15, 2025
experimental	Jul 15, 2025
closure	Jul 15, 2025
changelog	Jul 15, 2025
agda-issue-3966	Jul 15, 2025

0