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.