This folder is a wiki source set designed for three audiences:
- lay people evaluating the project
- language users writing Eclexia programs
- developers contributing to compiler/runtime/tooling internals
- Home
- For Laypeople
- For Users
- For Developers
- Architecture
- Testing and Benchmarking
- Troubleshooting
- Glossary
- FAQ
Keep in README.adoc:
- project identity and short pitch
- quick start commands
- high-level doc index and contribution/security/license links
Move to wiki:
- subsystem deep dives
- operational playbooks
- contributor onboarding paths
- FAQ, troubleshooting, and glossary
- benchmark and verification navigation
| Canonical Source | Wiki Destination |
|---|---|
../QUICK_STATUS.md |
Home, FAQ |
../GETTING_STARTED.md |
For Users |
../SPECIFICATION.md |
For Developers, Architecture |
../PROOFS.md + ../FORMAL_VERIFICATION.md |
For Developers, Glossary |
../IMPLEMENTATION_ROADMAP.md + ../TOOLCHAIN_STATUS.md |
Architecture, Testing and Benchmarking |