David Craven <da...@craven.ch> skribis: >> 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.
OK. Well it’s probably good enough for our own use. Maybe just add a note in the patch that this is not submitted yet. Thanks! Ludo’.