diff options
| author | Chloe Brown <chloe.brown.00@outlook.com> | 2022-04-06 18:53:42 +0100 |
|---|---|---|
| committer | Chloe Brown <chloe.brown.00@outlook.com> | 2022-04-06 18:53:42 +0100 |
| commit | e7579f8bd62c666de42b161ba23e14fdc1946bf5 (patch) | |
| tree | 8996c5aeddc30c5a4055ef20f8545e1d5da44c53 | |
| parent | 49f958788d97bdf966e2041e818ffb9d8b9630fb (diff) | |
Add cubical agda.
| -rw-r--r-- | yellowsquid/packages/agda.scm | 27 |
1 files changed, 27 insertions, 0 deletions
diff --git a/yellowsquid/packages/agda.scm b/yellowsquid/packages/agda.scm index ad5dfc9..5a2fefa 100644 --- a/yellowsquid/packages/agda.scm +++ b/yellowsquid/packages/agda.scm @@ -149,3 +149,30 @@ 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))) + +(define-public cubical + (package + (name "cubical") + (version "0.3") + (home-page "https://github.com/agda/cubical") + (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 + "11pvsbswch77hyc4bz1fv1mn2gl01qalhfx7icx0hd0zghbnv8sx")))) + (build-system agda-build-system) + (inputs (list ghc)) + (arguments + '(#:phases + (modify-phases %standard-phases + (add-before 'build 'generate-everything + (lambda* (#:key outputs #:allow-other-keys) + (invoke "make" "gen-everythings")))) + #:everything "Cubical/README.agda" + #:readme "Cubical/README.agda")) + (synopsis "Standard library for Cubical Agda") + (description "A standard library for Cubical Agda. ") + (license license:expat))) |