2025-09-15, 1055h

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.