/idris-vimscript

Compile Idris to Vimscript, like you always wanted.

Primary LanguageHaskellOtherNOASSERTION

Stargazers