16 Releases 21 Tags

RSS Feed

• 0.8.0 11d364e187

  Compare

  0.8.0 Stable

  tmu released this 2026-09-23 19:43:53 +02:00 | 43 commits to main since this release

  • reject a universe that mixes a literal with a broad type (e.g.
    "a" | \x-${number}``), which the finite-literal gate let through
  • narrow the tagged-union matcher's handler parameters for a union-valued or
    optional discriminant, and its fallback to the unhandled tags, instead of
    passing never

  Downloads

  • Source Code (ZIP)
  • Source Code (TAR.GZ)