i need to sit down and rebind all of my agda vscode commands because im developing emacs pinky
Conversation
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
Show replies