andreasabel/MiniAgda-mode
An emacs mode for MiniAgda
Miscellaneous articles, mostly Haskell related.
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
An emacs mode for MiniAgda
Evaluation of typed terms in Agda using the Delay monad.
Agda formalization of cubical sets.