5 ms·Compile Idris to Vimscript, like you always wanted14 points by adamnemecek 9y agoAzzieElbab 9y agoEvm next please :)