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

guix-devel

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

David Craven <address@hidden> skribis:

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

LGTM!

Current Thread

[Next in Thread]

[PATCH 5/7] gnu: Add idris-wl-pprint., (continued)
- [PATCH 5/7] gnu: Add idris-wl-pprint., David Craven, 2017/01/02
  - Re: [PATCH 5/7] gnu: Add idris-wl-pprint., Ludovic Courtès, 2017/01/03
- [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 <=
- [PATCH 7/7] gnu: Add idris-lens., David Craven, 2017/01/02
  - Re: [PATCH 7/7] gnu: Add idris-lens., Ludovic Courtès, 2017/01/03
- Re: [PATCH 1/7] git-download: Add some helpers., Ludovic Courtès, 2017/01/03