Compile Idris to Vimscript, like you always wantedgithub.com2 points·carlchenet··0 commentsOpen articleSaveView on HN