tephra/heklang
1
0
Code Issues Pull requests Projects Releases 32 Packages Wiki Activity Actions
32 releases 36 tags
  • heklang-v0.9.0 19e03820d6

    heklang-v0.9.0
    All checks were successful
    ci / ci (push) Successful in 18s
    Details
    ci / msrv (push) Successful in 10s
    Details
    release-plz / release-plz (push) Successful in 34s
    Details
    release-binaries / binaries (push) Successful in 55s
    Details
    Stable

    tqwewe released this 2026-09-20 00:53:38 +10:00 | 15 commits to main since this release

    Added

    • a subject is a declared type whose values are its ids
    • the fixed-length timestamp units, and Int.pad(width)

    Fixed

    • a sealed record, list or map reveals as what it was sealed from

    Other

    • the demo's address is a record, sealed whole
    Downloads