Initial commit.

1 files changed, 25 insertions, 0 deletions

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