|
npins
|
Initial evaluation
|
2026-01-31 22:36:12 +01:00 |
|
printer
|
Fork sequent calculus compiler
|
2026-02-03 18:47:37 +01:00 |
|
src
|
Actually compile u64
|
2026-02-03 22:00:49 +01:00 |
|
.envrc
|
Initial evaluation
|
2026-01-31 22:36:12 +01:00 |
|
.gitignore
|
Initial evaluation
|
2026-01-31 22:36:12 +01:00 |
|
build.rs
|
Add fun
|
2026-02-03 21:45:59 +01:00 |
|
Cargo.lock
|
Add fun
|
2026-02-03 21:45:59 +01:00 |
|
Cargo.toml
|
Add fun
|
2026-02-03 21:45:59 +01:00 |
|
shell.nix
|
Initial evaluation
|
2026-01-31 22:36:12 +01:00 |
