diff options
| author | Chloe Brown <chloe.brown.00@outlook.com> | 2022-01-05 14:53:26 +0000 |
|---|---|---|
| committer | Chloe Brown <chloe.brown.00@outlook.com> | 2022-01-05 14:55:38 +0000 |
| commit | 34b3cf760e2e56542092c0da587cd43c4fa90939 (patch) | |
| tree | 0540cea5517cc0ae48f622d0de047e76e9803f3a | |
Initial commit.
| -rw-r--r-- | .gitignore | 1 | ||||
| -rw-r--r-- | Everything.agda | 1 | ||||
| -rw-r--r-- | cat-theory.agda-lib | 5 | ||||
| -rw-r--r-- | guix.scm | 25 |
4 files changed, 32 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore new file mode 100644 index 0000000..c6a151b --- /dev/null +++ b/.gitignore @@ -0,0 +1 @@ +_build/
\ No newline at end of file diff --git a/Everything.agda b/Everything.agda new file mode 100644 index 0000000..1f5b65a --- /dev/null +++ b/Everything.agda @@ -0,0 +1 @@ +module Everything where diff --git a/cat-theory.agda-lib b/cat-theory.agda-lib new file mode 100644 index 0000000..7fab3f0 --- /dev/null +++ b/cat-theory.agda-lib @@ -0,0 +1,5 @@ +depend: + agda-categories + standard-library-1.7 +include: + src diff --git a/guix.scm b/guix.scm new file mode 100644 index 0000000..6a41959 --- /dev/null +++ b/guix.scm @@ -0,0 +1,25 @@ +(use-modules (guix gexp) + (guix git-download) + ((guix licenses) #:prefix license:) + (guix packages) + (yellowsquid build-system agda) + (yellowsquid packages agda)) + +(define %source-dir (dirname (current-filename))) + +(define-public cat-theory + (package + (name "cat-theory") + (version "0.1") + (home-page "https://git.yellowsquid.uk/yellowsquid/cat-theory.git") + (source (local-file %source-dir + #:recursive? #t + #:select? (git-predicate %source-dir))) + (build-system agda-build-system) + (inputs (list agda-categories agda-stdlib-1.7)) + (synopsis "Solutions to exercises from the University of Cambridge Category +Theory course.") + (description "") + (license license:expat))) + +cat-theory |