aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorDavid Craven <david@craven.ch>2017-01-02 18:03:25 +0100
committerDavid Craven <david@craven.ch>2017-01-04 12:11:14 +0100
commit4e17fff386070ca39960da7a4b8d2445ccc874ba (patch)
tree5ebc714ba51e074a404a2ee3c48509bf520b43ac
parentea3b38f1e14296a421d9df8d6c11c894d631b373 (diff)
downloadguix-4e17fff386070ca39960da7a4b8d2445ccc874ba.tar
guix-4e17fff386070ca39960da7a4b8d2445ccc874ba.tar.gz
gnu: Add idris-wl-pprint.
* gnu/packages/idris.scm (idris-wl-pprint): New variable.
-rw-r--r--gnu/packages/idris.scm25
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))))