Commit 4c0ef81
chore: update language submodule pointers
Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>1 parent 98b0517 commit 4c0ef81
2 files changed
Lines changed: 2 additions & 2 deletions
- .machine_readable/ADJUST.contractile+126
- .machine_readable/INTENT.contractile+72
- .machine_readable/MUST.contractile+91
- .machine_readable/TRUST.contractile+80
- Justfile+109
- QUICKSTART-DEV.adoc+39
- QUICKSTART-MAINTAINER.adoc+40
- QUICKSTART-USER.adoc+33
- contractiles/intend/Intentfile.a2ml+22
- contractiles/must/Mustfile.a2ml+42
- contractiles/trust/Trustfile.a2ml+25
- ephapax-linear/src/affine.rs+20
- ephapax-linear/src/linear.rs+28
- flake.nix+116
- formal/.Semantics.aux+1-1
- formal/.Semantics_admitted.aux+1-1
- formal/.Syntax.aux+1-1
- formal/.Typing.aux+1-1
- formal/.lia.cache
- formal/Semantics.v+323-30
- formal/Typing.v+1-1
- guix.scm+18
- llm-warmup-dev.md+16
- llm-warmup-user.md+16
- setup.sh+64
- src/ephapax-analysis/src/escape.rs+14
- src/ephapax-analysis/src/free_vars.rs+18
- src/ephapax-analysis/src/liveness.rs+19
- src/ephapax-cli/src/main.rs+21-2
- src/ephapax-desugar/src/lib.rs+5-1
- src/ephapax-interp/src/lib.rs+54-9
- src/ephapax-ir/src/json.rs+5-1
- src/ephapax-ir/src/lib.rs+55-2
- src/ephapax-lsp/src/main.rs+26-11
- src/ephapax-parser/src/ephapax.pest+63-5
- src/ephapax-parser/src/lib.rs+401-17
- src/ephapax-repl/src/lib.rs+12-2
- src/ephapax-stdlib/src/lib.rs+1
- src/ephapax-syntax/src/lib.rs+239-4
- src/ephapax-typing/src/lib.rs+1.2k-459
- src/ephapax-vram-cache/Cargo.toml+1-1
- src/ephapax-wasm/src/lib.rs+64-3
0 commit comments