← All repos

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