Re: [PATCH 3/7] gnu: idris: Update to 0.99.
BTW, perhaps we should eventually move these packages to idris.scm. Thoughts? Ludo’.
Re: [PATCH 3/7] gnu: idris: Update to 0.99.
David Craven skribis: > * gnu/packages/haskell.scm (idris): Update to 0.99. LGTM!
[PATCH 3/7] gnu: idris: Update to 0.99.
* gnu/packages/haskell.scm (idris): Update to 0.99. --- gnu/packages/haskell.scm | 55 1 file changed, 28 insertions(+), 27 deletions(-) diff --git a/gnu/packages/haskell.scm b/gnu/packages/haskell.scm index b4f225160..c55386e2f 100644 --- a/gnu/pa