diff options
| author | Chloe Brown <chloe.brown.00@outlook.com> | 2022-04-06 17:57:52 +0100 |
|---|---|---|
| committer | Chloe Brown <chloe.brown.00@outlook.com> | 2022-04-06 18:04:18 +0100 |
| commit | f06ccec532f9eaeeb6df2ac3696de8254bffa179 (patch) | |
| tree | 0479c4151418f434d88712e4791a37c32d4e2ad8 /yellowsquid/packages/agda.scm | |
| parent | f1e9eec996987b24f9c86be3e894591dfa3c6883 (diff) | |
Add customisable README and Everything locations.
Diffstat (limited to 'yellowsquid/packages/agda.scm')
| -rw-r--r-- | yellowsquid/packages/agda.scm | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/yellowsquid/packages/agda.scm b/yellowsquid/packages/agda.scm index 334c42f..ad5dfc9 100644 --- a/yellowsquid/packages/agda.scm +++ b/yellowsquid/packages/agda.scm @@ -140,6 +140,8 @@ normalisation performance.") "1acb693ad2nrmnn6jxsyrlkc0di3kk2ksj2w9wnyfxrgvfsil7rn")))) (build-system agda-build-system) (inputs (list agda-stdlib-1.7)) + (arguments + '(#:readme "Everything.agda")) (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. |