# Claude
.claude/settings.local.json

# Rust
/target

# direnv
.direnv/

# nix
result
result-*

# sccache
.cache/sccache/

# Apalache
_apalache-out/
