Re: [PATCH 7/7] gnu: Add idris-lens.

2017-01-03 Thread Ludovic Courtès
David Craven skribis: > * gnu/packages/haskell.scm (idris-lens): New variable. Same comment regarding ‘idris-default-arguments’, but otherwise LGTM!

[PATCH 7/7] gnu: Add idris-lens.

2017-01-02 Thread David Craven
* gnu/packages/haskell.scm (idris-lens): New variable. --- gnu/packages/haskell.scm | 26 ++ 1 file changed, 26 insertions(+) diff --git a/gnu/packages/haskell.scm b/gnu/packages/haskell.scm index 4fb6032bf..a88f0aa48 100644 --- a/gnu/packages/haskell.scm +++ b/gnu/package