idris-vimscript
idris-vimscript copied to clipboard
owickstrom
Compile Idris to Vimscript, like you always wanted.
I think we have some recursion troubles here. Will add more info later.
This has to be raised upstream, but since I don't have the time to find a minimal example right away, I'll put it here. ```idris module Vimscript.Examples import Vimscript.Builtins import...
Currently, the code that emits register operations relies on knowing the names of registers statically, so trying to, e.g. implement something like `:registers` won't work since one must do ```idris...
Metadata
Owner
Metadata
Compile Idris to Vimscript, like you always wanted.