Skip to content

build Guix for the 3 Nix-only repos: epistemic-types, HOL, tropical-resource-typing #140

Description

@hyperpolymath

Goal

These 3 repos have Nix but no Guix ('NIX_NO_GUIX') — removing Nix would leave no reproducible env. Author working Guix FIRST, then they join the Nix-deletion sweep.

Do

  • Write a best-practice guix.scm (+ .guix-channel) per repo, based on each one's real toolchain (model on standards#406 canon).
  • Verify, then remove the Nix. Staged, signed, owner-approves.

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions