owickstrom/idris-vimscript
View on GitHub ↗ ★ 133 Haskell archived
Compile Idris to Vimscript, like you always wanted.
3 mentions on Hacker News by 2 people: 3 stories, 0 comments · first 2017-11-30 · latest 2017-11-30
20082026
-
▲ 1
Compile Idris to Vimscript, like you always wantedstory by adamnemecek · 2017-11-30 · 0 comments
-
▲ 2
Compile Idris to Vimscript, like you always wantedstory by carlchenet · 2017-11-30 · 0 comments
-
▲ 14
Compile Idris to Vimscript, like you always wantedstory by adamnemecek · 2017-11-30 · 1 comment