Hara Specs
Machine-readable specifications and executable evidence for Hara Lisp.
Draft authority
HAL language specification meta-spec
Meta-spec EDN
HAL language specification
Language-spec EDN
Executable evidence
HAL L0 conformance
Reader conformance
JVM/Truffle parity
WASM/Truffle parity
Planning archive
About the archive
Language planning
Foundation planning
Runtime planning
Extension planning