Future Features

Ellipsis linting: LSP diagnostics to warn when ellipsis forms appear adjacent to mismatched operators (e.g., ... near OR, .. near AND). See spec.

Three carets together will mean "repeat everything above to the end of the line".

Syntax and semantics for regulative rules.

Syntax and semantics for property assertions and bounded deontics. Transpilation to verification reasoner backends: UPPAAL, NuSMV, SPIN, Maude, Isabelle/HOL, Lean.

Transpilation to automatic web app generation.

Set-theoretic syntax for UNION and INTERSECT. Sometimes set-and means logical-or.

WHEN should not be needed at each line in a CONSIDER.

---

Recently Implemented

The following features have been implemented and moved from this list:

• Asyndetic conjunction (...): Implicit AND using three-dot ellipsis syntax. See Basic Syntax.

• Asyndetic disjunction (..): Implicit OR using two-dot ellipsis syntax. See Basic Syntax.

• Inert elements: String literals in boolean context as grammatical scaffolding. See Boolean Logic.