UlfNorell/agda-tactics
Public repository.
Public GitHub Catalog
Discovered Sep 24, 2026
UlfNorell / categories
Categories parametrized by morphism equality, in Agda
About this discovery
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
#2435761GitHub System ID
UlfNorellOrganization / User
PublicVisibility
ActiveCatalog Status
More from UlfNorell
UlfNorell/agda-cufp
CUFP tutorial 2014
UlfNorell/agda-summer-school
Summer school on programming in Agda
UlfNorell/agda-prelude
Programming library for Agda