Babble, 2025-09-15 10:55 – Install Cubical Agda in GnoponEmacs
Simple enough to install: sudo apt install agda
Didn’t get it set up in GnoponEmacs though, I’ll need to learn more about Agda first.
Relations
- Author
- Emsenn
- Date created
- Publish to
- Emsenn net