andreasabel/MiniAgda-mode
An emacs mode for MiniAgda
Public GitHub Catalog
Discovered Sep 29, 2026
andreasabel / continuous-normalization
Evaluation of typed terms in Agda using the Delay monad.
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.
#14496086GitHub System ID
andreasabelOrganization / User
PublicVisibility
ActiveCatalog Status
More from andreasabel
andreasabel/articles
Miscellaneous articles, mostly Haskell related.
andreasabel/cubical
Agda formalization of cubical sets.