From 644aa85ed577fc56ffd1f2c884fdf372ea5b02e7 Mon Sep 17 00:00:00 2001 From: Chloe Brown Date: Wed, 5 Jan 2022 14:30:19 +0000 Subject: agda-categories: new package --- yellowsquid/packages/agda.scm | 23 +++++++++++++++++++++++ 1 file changed, 23 insertions(+) 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))) -- cgit v1.2.3