Commit 9c6874a
Update language submodule pointers and ephapax changes
Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>1 parent 4c0ef81 commit 9c6874a
1 file changed
Lines changed: 1 addition & 1 deletion
- .gitignore+6-1
- .machine_readable/6a2/STATE.a2ml+13-3
- .machine_readable/META.scm+75
- .machine_readable/STATE.scm+52
- .tool-versions+4
- .well-known/ai.txt+18
- .well-known/humans.txt+14
- .well-known/security.txt+9
- contractile.just+75
- docs/sessions/SESSION-2026-03-28-type-checker-audit.adoc+108
- formal/.Semantics.aux-106
- formal/.Syntax.aux-2
- formal/.Typing.aux-17
- formal/.lia.cache
- formal/DESIGN-NOTE-2026-03-28-projected-lookups.md+57
- formal/Semantics.v+479-504
- formal/Syntax.v+126
- formal/Typing.v+2-1
0 commit comments