> The conventional thing would be to use “lib/idris” (just like we have > “lib/perl5”, “lib/python2.7”, “lib/guile”, etc.) Could you make this > change?
you're right, much better. thank you. > If you haven’t done it yet, I encourage you to submit it upstream: it > looks like there’s no reason not to have it upstream. It still needs some work, the goal is to get it upstream. Still needs more testing and it's not a complete solution yet, but only a partial one.