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

guix-devel

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

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

From:	Ludovic Courtès
Subject:	Re: [PATCH 7/7] gnu: Add idris-lens.
Date:	Tue, 03 Jan 2017 13:27:29 +0100
User-agent:	Gnus/5.13 (Gnus v5.13) Emacs/25.1 (gnu/linux)

David Craven <address@hidden> skribis:

> * gnu/packages/haskell.scm (idris-lens): New variable.

Same comment regarding ‘idris-default-arguments’, but otherwise LGTM!

[Prev in Thread]

Current Thread

[Next in Thread]

[PATCH 4/7] gnu: Add idris-lightyear., (continued)
- [PATCH 4/7] gnu: Add idris-lightyear., David Craven, 2017/01/02
  - Re: [PATCH 4/7] gnu: Add idris-lightyear., Ludovic Courtès, 2017/01/03
    - Re: [PATCH 4/7] gnu: Add idris-lightyear., David Craven, 2017/01/03
    - Re: [PATCH 4/7] gnu: Add idris-lightyear., Ludovic Courtès, 2017/01/03
    - Re: [PATCH 4/7] gnu: Add idris-lightyear., David Craven, 2017/01/03
    - Re: [PATCH 4/7] gnu: Add idris-lightyear., David Craven, 2017/01/03
    - Re: [PATCH 4/7] gnu: Add idris-lightyear., Ludovic Courtès, 2017/01/05
- [PATCH 6/7] gnu: Add idris-bifunctors., David Craven, 2017/01/02
  - Re: [PATCH 6/7] gnu: Add idris-bifunctors., Ludovic Courtès, 2017/01/03
- [PATCH 7/7] gnu: Add idris-lens., David Craven, 2017/01/02
  - Re: [PATCH 7/7] gnu: Add idris-lens., Ludovic Courtès <=
- Re: [PATCH 1/7] git-download: Add some helpers., Ludovic Courtès, 2017/01/03

Prev by Date: Re: [PATCH 4/7] gnu: Add idris-lightyear.
Next by Date: Re: [PATCH 6/7] gnu: Add idris-bifunctors.
Previous by thread: [PATCH 7/7] gnu: Add idris-lens.
Next by thread: Re: [PATCH 1/7] git-download: Add some helpers.
Index(es):
- Date
- Thread