search

owickstrom / idris-vimscript

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

Explore using raw lambda-lifted code instead of IRTS.Simplified #15

Open mrkgnao opened 6 years ago