idris-vimscript icon indicating copy to clipboard operation
idris-vimscript copied to clipboard

Published 20 hours ago • verified publisher icon owickstrom

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

Open mrkgnao opened this issue 8 years ago • 0 comments

mrkgnao avatar Dec 04 '17 12:12 mrkgnao