Skip to content

chore: purge nix per 2026-06-01 owner directive (guix-only) #18

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
hyperpolymath merged 1 commit into from
Jun 2, 2026
Merged

chore: purge nix per 2026-06-01 owner directive (guix-only) #18

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
1 commit
Select commit
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
3 changes: 0 additions & 3 deletions .editorconfig
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -56,9 +56,6 @@ indent_size = 2
[*.scm]
indent_size = 2

[*.nix]
indent_size = 2

[Justfile]
indent_style = space
indent_size = 4
Expand Down
2 changes: 0 additions & 2 deletions .gitattributes
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -17,7 +17,6 @@
*.chpl text eol=lf
*.scm text eol=lf
*.ncl text eol=lf
*.nix text eol=lf

# Docs
*.md text eol=lf diff=markdown
Expand Down Expand Up @@ -51,4 +50,3 @@ Containerfile text eol=lf

# Lock files
Cargo.lock text eol=lf -diff
flake.lock text eol=lf -diff
6 changes: 3 additions & 3 deletions CONTRIBUTING.md
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -2,8 +2,8 @@
git clone https://github.com/hyperpolymath/hyperpolymath.git
cd hyperpolymath

# Using Nix (recommended for reproducibility)
nix develop
# Using Guix (recommended for reproducibility)
guix shell -m guix.scm

# Or using toolbox/distrobox
toolbox create hyperpolymath-dev
Expand Down Expand Up @@ -41,7 +41,7 @@ hyperpolymath/
├── MAINTAINERS.md
├── README.adoc
├── SECURITY.md
├── flake.nix # Nix flake (Perimeter 1)
├── guix.scm # Guix manifest (Perimeter 1)
└── Justfile # Task runner (Perimeter 1)
```

Expand Down
12 changes: 2 additions & 10 deletions QUICKSTART-DEV.adoc
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -15,17 +15,10 @@

[source,bash]
----
guix shell
guix shell -m guix.scm
----

=== Option B: Nix (fallback)

[source,bash]
----
nix develop
----

=== Option C: Manual
=== Option B: Manual

[source,bash]
----
Expand Down Expand Up @@ -61,7 +54,6 @@ hyperpolymath/
├── .machine_readable/ # Checkpoint files (STATE, META, ECOSYSTEM)
├── Justfile # Task runner recipes
├── guix.scm # Guix environment
├── flake.nix # Nix environment (fallback)
└── 0-AI-MANIFEST.a2ml # AI agent entry point
----

Expand Down
7 changes: 0 additions & 7 deletions QUICKSTART-MAINTAINER.adoc
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -34,13 +34,6 @@ Output: `{{BUILD_OUTPUT_PATH}}`
guix build -f guix.scm
----

=== Nix

[source,bash]
----
nix build
----

=== Container (Stapeln)

[source,bash]
Expand Down
2 changes: 1 addition & 1 deletion README.adoc
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -73,7 +73,7 @@ Database systems where identity is defined by equivalence classes rather than ra

* *Languages*: Rust, Idris2, Zig, OCaml, Haskell, Julia, ReScript
* *Methods*: dependent types, theorem proving, property-based testing
* *Systems*: reproducible builds (Nix/Guix), formally constrained FFI boundaries
* *Systems*: reproducible builds (Guix), formally constrained FFI boundaries

I focus on **small, formally grounded cores**, with larger systems built around them.

Expand Down
116 changes: 0 additions & 116 deletions flake.nix
View file
Open in desktop

This file was deleted.

2 changes: 0 additions & 2 deletions setup.sh
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -102,7 +102,6 @@ detect_platform() {
elif command -v zypper >/dev/null 2>&1; then PKG_MGR="zypper"
elif command -v rpm-ostree >/dev/null 2>&1; then PKG_MGR="rpm-ostree"
elif command -v guix >/dev/null 2>&1; then PKG_MGR="guix"
elif command -v nix >/dev/null 2>&1; then PKG_MGR="nix"
fi
;;
Darwin*)
Expand Down Expand Up @@ -150,7 +149,6 @@ install_just() {
winget) winget install Casey.Just ;;
rpm-ostree) sudo rpm-ostree install just ;;
guix) guix install just ;;
nix) nix-env -iA nixpkgs.just ;;
*)
info "Using just installer script..."
curl -fsSL https://just.systems/install.sh | bash -s -- --to /usr/local/bin
Expand Down
Loading