Lizzy Fleckenstein :v_trans: :v_bi: on Nostr: >want to learn agda >interactive editor needed >don't wanna use emacs or vim ...

>want to learn agda
>interactive editor needed
>don't wanna use emacs or vim keybinds, try vscode even tho i hate it
>agda-mode extension in CLI mode
>unicode input doesnt work
>okay, enable language server instead
>it downloads some random fucking binary
>"cannot execute binary file"
>look inside
>it's not a valid ELF file
>try to download the extension as a file to debug it
>tries to open it, maybe it's some archive or so
>fucking minecraft bedrock edition opens

i hate computers