Standalone repository for the smelterl Erlang planner/generator for grisp_alloy.
Development context:
- authoritative cross-repo workflow: see
docs/WORKFLOW.mdin the Alloy superproject when this repository is checked out asgrisp_alloy/smelterl - standalone/web view: see
https://github.com/grisp/grisp_alloy/tree/grisp-alloy-ng/docs
Repository-local documents:
Alloy-owned reference documents are available through redirect stubs in
docs/.