diff options
| author | David Craven <david@craven.ch> | 2017-01-02 18:03:25 +0100 |
|---|---|---|
| committer | David Craven <david@craven.ch> | 2017-01-04 12:11:14 +0100 |
| commit | 4e17fff386070ca39960da7a4b8d2445ccc874ba (patch) | |
| tree | 5ebc714ba51e074a404a2ee3c48509bf520b43ac /gnu/packages/idris.scm | |
| parent | ea3b38f1e14296a421d9df8d6c11c894d631b373 (diff) | |
| download | gnu-guix-4e17fff386070ca39960da7a4b8d2445ccc874ba.tar gnu-guix-4e17fff386070ca39960da7a4b8d2445ccc874ba.tar.gz | |
gnu: Add idris-wl-pprint.
* gnu/packages/idris.scm (idris-wl-pprint): New variable.
Diffstat (limited to 'gnu/packages/idris.scm')
| -rw-r--r-- | gnu/packages/idris.scm | 25 |
1 files changed, 25 insertions, 0 deletions
diff --git a/gnu/packages/idris.scm b/gnu/packages/idris.scm index 60d20a1d64..7543c379b5 100644 --- a/gnu/packages/idris.scm +++ b/gnu/packages/idris.scm @@ -179,3 +179,28 @@ Epigram and Agda.") by Parsec. This package is used (almost) the same way as Parsec, except for one difference: backtracking.") (license license:bsd-2)))) + +(define-public idris-wl-pprint + (let ((commit "1d365fcf4ba075859844dbc5eb96a90f57b9f338")) + (package + (name "idris-wl-pprint") + (version (git-version "0.1" "1" commit)) + (source (origin + (method git-fetch) + (uri (git-reference + (url "https://github.com/shayan-najd/wl-pprint") + (commit commit))) + (file-name (git-file-name name version)) + (sha256 + (base32 + "0g7c3y9smifdz4sivi3qmvymhdr7v9kfq45fmfmmvkqcrix0spzn")))) + (build-system gnu-build-system) + (native-inputs + `(("idris" ,idris))) + (arguments (idris-default-arguments name)) + (home-page "https://github.com/shayan-najd/wl-pprint") + (synopsis "Pretty printing library") + (description "A pretty printing library for Idris based on Phil Wadler's +paper A Prettier Printer and on Daan Leijen's extensions in the Haskell +wl-pprint library.") + (license license:bsd-2)))) |