【Ξｎｉｇｍａｔｉｃｏ】
🐱
Fedi, it's time once and for all...
You must choose the programming languages of your choice that you think are valid and viable for general purpose programming.
The 3 with the most votes will become the standard on Fedi. No exceptions.
You must choose the programming languages of your choice that you think are valid and viable for general purpose programming.
The 3 with the most votes will become the standard on Fedi. No exceptions.
bonifartius 𒂼𒄄
@newt only agda2 using crazy unicode! :) @enigmatico
@bonifartius @enigmatico you laugh here, but I really think Unicode syntax is sexy as hell. How can anyone even disagree?
@newt it's nice to read, but when i used it i had to use 
with a special mode *shiver
@enigmatico
@bonifartius @enigmatico there's a vscode plugin if you're into that sort of thing
@newt i have used vscode at work but i feel dirty using it. editor from microsoft running as browser. don't know if i can wash off that sin xD
Follow
@newt
i keep returning to vim with a minimal configuration. all the bells and whistles make me nervous. if a language requires the editor to have many fancy features, the language is bad ;)
with agda2, i'd rather use a custom keyboard mapping (like neo layer 6 https://wikiless.org/media/wikipedia/commons/9/9f/Neo_2.0-Tastaturbelegung_Ebene6.svg ) than having special editor shit. automatic replacements in vim would also be an alternative.
@enigmatico
