ecsolticia.codeberg.page
Compile-time construction of Peano axioms-based natural numbers and addition, multiplication, and exponentiation defined through them within Rust. (Mirrored from Codeberg)
1{
2 description = "rspeano";
3
4 inputs = {
5 nixpkgs.url = "github:nixos/nixpkgs/nixos-25.05";
6 rust-overlay.url = "github:oxalica/rust-overlay";
7 flake-utils.url = "github:numtide/flake-utils";
8 };
9
10 outputs = { self, nixpkgs, rust-overlay, flake-utils, ... }:
11 flake-utils.lib.eachDefaultSystem (system:
12 let
13 overlays = [ (import rust-overlay) ];
14 pkgs = import nixpkgs {
15 inherit system overlays;
16 };
17
18 # Change version here if needed
19 rsTools = pkgs.rust-bin.stable."1.89.0".default;
20 in {
21
22 devShells.default = pkgs.mkShell {
23 packages = [
24 rsTools
25 pkgs.bash ];
26 };
27
28 });
29}