diff options
| author | Chloe Brown <chloe.brown.00@outlook.com> | 2022-01-05 14:30:19 +0000 |
|---|---|---|
| committer | Chloe Brown <chloe.brown.00@outlook.com> | 2022-01-05 14:30:19 +0000 |
| commit | 644aa85ed577fc56ffd1f2c884fdf372ea5b02e7 (patch) | |
| tree | d53aa53e09e54aa5aaaf0a6ab70d860987c46717 /yellowsquid/packages/agda.scm | |
| parent | 96d1b4fff570575337fa5d01aae878e6255c665f (diff) | |
agda-categories: new package
Diffstat (limited to 'yellowsquid/packages/agda.scm')
| -rw-r--r-- | yellowsquid/packages/agda.scm | 23 |
1 files changed, 23 insertions, 0 deletions
diff --git a/yellowsquid/packages/agda.scm b/yellowsquid/packages/agda.scm index eb9eeaf..f8f3a44 100644 --- a/yellowsquid/packages/agda.scm +++ b/yellowsquid/packages/agda.scm @@ -124,3 +124,26 @@ normalisation performance.") "0khl12jvknsvjsq3l5cbp2b5qlw983qbymi1dcgfz9z0b92si3r0")))))) (define-public agda-stdlib agda-stdlib-1.7.1) + +(define-public agda-categories-0.1.7.1 + (package + (name "agda-categories") + (version "0.1.7.1") + (home-page "https://github.com/agda/agda-categories") + (source (origin + (method git-fetch) + (uri (git-reference (url home-page) + (commit (string-append "v" version)))) + (file-name (git-file-name name version)) + (sha256 + (base32 + "1acb693ad2nrmnn6jxsyrlkc0di3kk2ksj2w9wnyfxrgvfsil7rn")))) + (build-system agda-build-system) + (inputs (list agda-stdlib-1.7)) + (synopsis "Categories library for Agda") + (description "A proof-relevant category theory library for Agda. The +library contains definitions for many important parts of category theory. +A major goal is to make the category ready to be incorporated into the +standard library. Note that the library is currently pre-beta software, and +backwards compatibility is not assured.") + (license license:expat))) |