Browse Source

gnu: Add idris-bifunctors.

* gnu/packages/idris.scm (idris-bifunctors): New variable.
wip-gexp-grafts
David Craven 6 years ago
parent
commit
5a16d828b3
No known key found for this signature in database GPG Key ID: C5E051C79C0BECDB
  1. 24
      gnu/packages/idris.scm

24
gnu/packages/idris.scm

@ -204,3 +204,27 @@ difference: backtracking.")
paper A Prettier Printer and on Daan Leijen's extensions in the Haskell
wl-pprint library.")
(license license:bsd-2))))
(define-public idris-bifunctors
(let ((commit "53d06a6ccfe70c49c9ae8c8a4135981dd2173202"))
(package
(name "idris-bifunctors")
(version (git-version "0.1" "1" commit))
(source (origin
(method git-fetch)
(uri (git-reference
(url "https://github.com/HuwCampbell/Idris-Bifunctors")
(commit commit)))
(file-name (string-append name "-" version "-checkout"))
(sha256
(base32
"02vbsd3rmgnj0l1qq787709qcxjbr9890cbad4ykn27f77jk81h4"))))
(build-system gnu-build-system)
(native-inputs
`(("idris" ,idris)))
(arguments (idris-default-arguments name))
(home-page "https://github.com/HuwCampbell/Idris-Bifunctors")
(synopsis "Bifunctor library")
(description "This is a bifunctor library for Idris based off the
excellent Haskell Bifunctors package from Edward Kmett.")
(license license:bsd-3))))

Loading…
Cancel
Save