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.
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.