[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [PATCH 1/2] gnu: idris: Update to 0.99.
From: |
David Craven |
Subject: |
Re: [PATCH 1/2] gnu: idris: Update to 0.99. |
Date: |
Mon, 19 Dec 2016 15:17:46 +0100 |
> 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.