owickstrom/idris-vimscript

Compile Idris to Vimscript, like you always wanted.

语言：Haskell · GitHub 星标：133 · Fork：5

在 GitHub 上查看原仓库