sigma-types 0.2.2

Types checked for an invariant.
Documentation
1
2
3
4
5
6
7
8
9
10
11
12
13
14
set -eu
set -o pipefail

echo 'version = 4' > Cargo.lock
echo 'package = []' >> Cargo.lock
nix run .\#update-cargo-toml --show-trace
nix flake update
nix flake check
nix run .\#update-other-cargo-files --show-trace
use flake
find . -name '*.rs' | xargs rustfmt --edition 2024
cargo clean
cargo update
nix run .\#update-cargo-toml --show-trace