Compile-time construction of Peano axioms-based natural numbers and addition, multiplication, and exponentiation defined through them within Rust. (Mirrored from Codeberg)
ecsolticia.bsky.social
1{
2 "nodes": {
3 "flake-utils": {
4 "inputs": {
5 "systems": "systems"
6 },
7 "locked": {
8 "lastModified": 1731533236,
9 "narHash": "sha256-l0KFg5HjrsfsO/JpG+r7fRrqm12kzFHyUHqHCVpMMbI=",
10 "owner": "numtide",
11 "repo": "flake-utils",
12 "rev": "11707dc2f618dd54ca8739b309ec4fc024de578b",
13 "type": "github"
14 },
15 "original": {
16 "owner": "numtide",
17 "repo": "flake-utils",
18 "type": "github"
19 }
20 },
21 "nixpkgs": {
22 "locked": {
23 "lastModified": 1756617294,
24 "narHash": "sha256-aGnd4AHIYCWQKChAkHPpX+YYCt7pA6y2LFFA/s8q0wQ=",
25 "owner": "nixos",
26 "repo": "nixpkgs",
27 "rev": "b4c2c57c31e68544982226d07e4719a2d86302a8",
28 "type": "github"
29 },
30 "original": {
31 "owner": "nixos",
32 "ref": "nixos-25.05",
33 "repo": "nixpkgs",
34 "type": "github"
35 }
36 },
37 "nixpkgs_2": {
38 "locked": {
39 "lastModified": 1744536153,
40 "narHash": "sha256-awS2zRgF4uTwrOKwwiJcByDzDOdo3Q1rPZbiHQg/N38=",
41 "owner": "NixOS",
42 "repo": "nixpkgs",
43 "rev": "18dd725c29603f582cf1900e0d25f9f1063dbf11",
44 "type": "github"
45 },
46 "original": {
47 "owner": "NixOS",
48 "ref": "nixpkgs-unstable",
49 "repo": "nixpkgs",
50 "type": "github"
51 }
52 },
53 "root": {
54 "inputs": {
55 "flake-utils": "flake-utils",
56 "nixpkgs": "nixpkgs",
57 "rust-overlay": "rust-overlay"
58 }
59 },
60 "rust-overlay": {
61 "inputs": {
62 "nixpkgs": "nixpkgs_2"
63 },
64 "locked": {
65 "lastModified": 1756694554,
66 "narHash": "sha256-z/Iy4qvcMqzhA2IAAg71Sw4BrMwbBHvCS90ZoPLsnIk=",
67 "owner": "oxalica",
68 "repo": "rust-overlay",
69 "rev": "b29e5365120f344fe7161f14fc9e272fcc41ee56",
70 "type": "github"
71 },
72 "original": {
73 "owner": "oxalica",
74 "repo": "rust-overlay",
75 "type": "github"
76 }
77 },
78 "systems": {
79 "locked": {
80 "lastModified": 1681028828,
81 "narHash": "sha256-Vy1rq5AaRuLzOxct8nz4T6wlgyUR7zLU309k9mBC768=",
82 "owner": "nix-systems",
83 "repo": "default",
84 "rev": "da67096a3b9bf56a91d16901293e51ba5b49a27e",
85 "type": "github"
86 },
87 "original": {
88 "owner": "nix-systems",
89 "repo": "default",
90 "type": "github"
91 }
92 }
93 },
94 "root": "root",
95 "version": 7
96}