8000 Branches · agda/agda-categories · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

Branches

BranchUpdatedCheck status
BehindAhead
Pull requestAction menu
master
JacquesCarette Jun 13, 2025
gh-pages
github-actions[bot] Jun 13, 2025
fix-ci-hopefully
JacquesCarette Jun 12, 2025
CartesianMC
JacquesCarette Jun 12, 2025
MoreBaseChanges
Taneb Jun 9, 2025
adjoint-equiv-preserves-colimits
Taneb Feb 25, 2025
more-coend-stuff
Taneb Feb 24, 2025
displayed-categories
Taneb Aug 9, 2023
pretopos
JacquesCarette Nov 17, 2021
IndexedCat
JacquesCarette Nov 4, 2021
Restriction
JacquesCarette Aug 8, 2021
double
JacquesCarette Jun 18, 2021
Regular
JacquesCarette Apr 4, 2021
KernelPair
JacquesCarette Apr 2, 2021
stdlib-v1.5-update
MatthewDaggitt Jan 28, 2021
feature/Coend
JacquesCarette Jan 1, 2021
CWF
JacquesCarette Jun 23, 2020
FinMultiCat
JacquesCarette Apr 30, 2020
NegativeThinking
JacquesCarette Jan 16, 2020
Regression-Monoidal
JacquesCarette Dec 20, 2019
0