Aura
Aura is a gradually-typed programming language that transpiles to Python. One spelling per construct, no synonyms.
Start learning → · Language reference →
Learning the language
| Document | What it covers |
|---|---|
| learn/ | A numbered tutorial path — start here |
| language-reference/ | Complete language reference |
| language-reference/grammar.md | Canonical EBNF grammar |
| ERRORS.md | Every diagnostic code (E## / W##) |
| AUP.md | Aura Patterns catalog |
Reference and internals
| Document | What it covers |
|---|---|
| DESIGN.md | Transpiler architecture |
| COMPLETENESS.md | Language coverage and remaining gaps |
| AUDIT.md | Historical audit |
Project
- README — project overview and quick start
- CHANGELOG — notable changes by version
- CONTRIBUTING — contribution workflow
- Examples — runnable programs
Aura is alpha (0.2.0a5), and the syntax is frozen at the Equinox release.