search

owickstrom / idris-vimscript

Compile Idris to Vimscript, like you always wanted.
Other
130 stars 5 forks source link

Come up with a compelling example plugin #19

Open mrkgnao opened 6 years ago

mrkgnao commented 6 years ago

Oskar and I discussed this over DMs already. One idea that came up was @owickstrom's "org-mode light".

Investigate.