i need to sit down and rebind all of my agda vscode commands because im developing emacs pinky
Conversation
How is Agda in VS Code these days?
1
it's pretty good
1
1
sometimes i tell it to print the boundary of a goal and it goes into uninterruptible sleep for an hour but i think that's just agda
1
3
Replying to
Sweet, I'll have to give it a go once I can figure out how to compile it on nixpkgs+aarch64-darwin 😅