ryan77627/guix
1
0
Fork 0
mirror of https://git.in.rschanz.org/ryan77627/guix.git synced 2025-01-12 14:16:55 -05:00
Code Issues Projects Releases Packages Wiki Activity Actions

gnu: Add idris-wl-pprint.

Browse source 
* gnu/packages/idris.scm (idris-wl-pprint): New variable.
This commit is contained in:
David Craven 2017-01-02 18:03:25 +01:00
parent ea3b38f1e1
commit 4e17fff386
No known key found for this signature in database
GPG key ID: C5E051C79C0BECDB
1 changed files with 25 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

25
gnu/packages/idris.scm
View file

@ -179,3 +179,28 @@ (define-public idris-lightyear
by Parsec. This package is used (almost) the same way as Parsec, except for one by Parsec. This package is used (almost) the same way as Parsec, except for one
difference: backtracking.") difference: backtracking.")
(license license:bsd-2)))) (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))))