From 4f515e4dde3e49ec2dd3bbc1dac8923b286f0099 Mon Sep 17 00:00:00 2001 From: "Jonathan D.A. Jewell" <6759885+hyperpolymath@users.noreply.github.com> Date: Sun, 23 Aug 2026 13:26:23 +0100 Subject: [PATCH] chore(guix): author bespoke guix environment for Lean/Isabelle toolchain (#140) --- guix.scm | 21 ++++++++++++++++----- 1 file changed, 16 insertions(+), 5 deletions(-) diff --git a/guix.scm b/guix.scm index 4eb3199..89f0639 100644 --- a/guix.scm +++ b/guix.scm @@ -1,12 +1,23 @@ ;; SPDX-License-Identifier: MPL-2.0 ;; Copyright (c) 2026 Jonathan D.A. Jewell (hyperpolymath) ;; -;; Guix development environment for tropical-resource-typing. Replaces flake.nix (Guix-only policy). +;; Guix development environment for tropical-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 lean) + (gnu packages maths) + (gnu packages base) + (gnu packages bash)) + (package - (name "tropical-resource-typing") (version "0.1.0") (source #f) + (name "tropical-types") + (version "0.1.0") + (source #f) (build-system gnu-build-system) - (synopsis "tropical-resource-typing") (description "tropical-resource-typing — part of the hyperpolymath ecosystem.") - (home-page "https://github.com/hyperpolymath/tropical-resource-typing") + (inputs (list lean isabelle coreutils bash make)) + (synopsis "tropical-types") + (description "tropical-types — part of the hyperpolymath ecosystem.") + (home-page "https://github.com/hyperpolymath/tropical-types") (license ((@@ (guix licenses) license) "MPL-2.0" "https://github.com/hyperpolymath/palimpsest-license")))