idris-vimscript

Compile Idris to Vimscript, like you always wanted.

Stars

129

Forks

5

Language

Haskell

Last Updated

Oct 02, 2023

Similar Repos