Skip to content

v1.5.0

Choose a tag to compare

View all tags
@github-actions github-actions released this 24 Sep 01:18
v1.5.0
242ff30
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Verified
Learn about vigilant mode.

1.5.0 (2026-09-24)

Features

  • concat: see an append through parentheses and a let (BOLT-RULE-U004) (#168) (58278e1), closes #96

Bug Fixes

  • check: place an imported file's error by the checked file's own names (BOLT-CHK-1) (#173) (d6c34f2)
  • rules: a def with no type is a proof, exempt from the cost rules (#169) (57fe3a5)
Assets 2
Loading