💎 Native compiler with atlas-bound theorems — 8 strict-lint stages · citation-enforced · no LLVM · self-hosting native fixpoint
These files are dancinlab/hexa-lang's own configuration. They tell Claude Code, Codex and OpenCode how to work on this repository, so they are not mods to install elsewhere. Copy one as a starting point and replace the parts that are about this project.
AGENTS.md A 309 tok CLAUDE.md A 3,067 tok .claude/settings.json B —