idris-vimscript
idris-vimscript copied to clipboard
Explore using raw lambda-lifted code instead of IRTS.Simplified