BoydStephenSmithJr, Does anyone else do #Agda with #Vim without #DeprecatedPython2 ? The main agda-vim plugin doesn't work at all. The tc-0 fork does some things, but mostly emits bytes v str errors. Last time I tried the agda-language-server, I couldn't get it to compile.
I think some tooling will let me put together this evaluate function a lot faster.
Add comment