ReScript VSCode Projects
agda-mode on VS CodeProject mention: What input method would you prefer for Unicode characters in a neovim plugin? | reddit.com/r/agda | 2021-10-18
If you decide to stick to Agda's usual backslash, you may wanna consider allowing user to decide which character to use, as the backslash may have other purpose in their keyboard layout. See https://github.com/banacorn/agda-mode-vscode/issues/58
Are you hiring? Post a new remote job listing for free.