diff options
| author | David Craven <david@craven.ch> | 2017-01-02 18:05:21 +0100 |
|---|---|---|
| committer | David Craven <david@craven.ch> | 2017-01-04 12:11:14 +0100 |
| commit | 5a16d828b3bd0c458f6604fc4e0d7876377ff12c (patch) | |
| tree | e58bfe540a537c838eae3abf8c5b281e00e08844 /gnu/packages/idris.scm | |
| parent | 4e17fff386070ca39960da7a4b8d2445ccc874ba (diff) | |
| download | patches-5a16d828b3bd0c458f6604fc4e0d7876377ff12c.tar patches-5a16d828b3bd0c458f6604fc4e0d7876377ff12c.tar.gz | |
gnu: Add idris-bifunctors.
* gnu/packages/idris.scm (idris-bifunctors): New variable.
Diffstat (limited to 'gnu/packages/idris.scm')
| -rw-r--r-- | gnu/packages/idris.scm | 24 |
1 files changed, 24 insertions, 0 deletions
diff --git a/gnu/packages/idris.scm b/gnu/packages/idris.scm index 7543c379b5..e2afa5a89f 100644 --- a/gnu/packages/idris.scm +++ b/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)))) |