Skip to content

morphe 1.0.6

Choose a tag to compare

@GregoryGelfond GregoryGelfond released this 10 Sep 14:00
· 4 commits to main since this release

No user-facing changes: the house style and the command-line surface behave
exactly as in 1.0.5.

Internal

  • The lowering now reconciles two adjacent separators by joining their two
    independent axes — whether each breaks, and its flat spacing — rather than by a
    single ordering that conflated them and needed a hand-written special case. The
    reconciliation is total by construction and behaviour is unchanged. (#9)
  • The design of record's per-construct spacing catalog is completed: theory-atom
    interiors, the absolute-value bars, the .. interval, the align-vs-nest rule a
    broken chain follows, and a wording fix distinguishing the always-spaced not
    from the hugged unary operators — each now stated, and the .. and
    absolute-value rules pinned by house-style goldens. (#edge's post-keyword space
    is recorded as a known inconsistency deferred to a future major, #10.)