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")))