From 242782d11baf54de8b2cd92e78d20239fb11c1c6 Mon Sep 17 00:00:00 2001
From: "Jonathan D.A. Jewell" <6759885+hyperpolymath@users.noreply.github.com>
Date: Sun, 23 Aug 2026 13:25:55 +0100
Subject: [PATCH] chore(guix): author bespoke guix environment for Agda
 toolchain (#140)

---
 guix.scm | 17 ++++++++++++++---
 1 file changed, 14 insertions(+), 3 deletions(-)

diff --git a/guix.scm b/guix.scm
index b78f743..9e575f6 100644
--- a/guix.scm
+++ b/guix.scm
@@ -3,10 +3,21 @@
 ;;
 ;; Guix development environment for epistemic-types. Replaces flake.nix (Guix-only policy).
 ;; Usage: guix shell -D -f guix.scm
-(use-modules (guix packages) (guix build-system gnu))
+
+(use-modules (guix packages)
+             (guix build-system gnu)
+             (gnu packages agda)
+             (gnu packages haskell)
+             (gnu packages base)
+             (gnu packages bash))
+
 (package
-  (name "epistemic-types") (version "0.1.0") (source #f)
+  (name "epistemic-types")
+  (version "0.1.0")
+  (source #f)
   (build-system gnu-build-system)
-  (synopsis "epistemic-types") (description "epistemic-types — part of the hyperpolymath ecosystem.")
+  (inputs (list agda ghc coreutils bash make))
+  (synopsis "epistemic-types")
+  (description "epistemic-types — part of the hyperpolymath ecosystem.")
   (home-page "https://github.com/hyperpolymath/epistemic-types")
   (license ((@@ (guix licenses) license) "MPL-2.0" "https://github.com/hyperpolymath/palimpsest-license")))