-
hek-v0.5.5
Stablereleased this
2026-10-08 00:59:33 +11:00 | 0 commits to main since this releaseOther
- updated the following local packages: heklang
Downloads
-
Source code (ZIP)
1 download
-
Source code (TAR.GZ)
1 download
-
heklang-v0.11.1
Stablereleased this
2026-10-08 00:59:24 +11:00 | 0 commits to main since this releaseAdded
- a fold arm reads the record it folds, never the triggering event
Other
- the envelope rule, and the field an event a fold must time keeps
Downloads
-
Source code (ZIP)
2 downloads
-
Source code (TAR.GZ)
1 download
-
hek-v0.5.4
Stablereleased this
2026-09-22 00:45:07 +10:00 | 3 commits to main since this releaseAdded
- an event is a
fn's return type, and agivenis checked against its declaration
Fixed
- an empty comprehension takes its element type from its yield, not from Json
Downloads
-
Source code (ZIP)
1 download
-
Source code (TAR.GZ)
1 download
- an event is a
-
tree-sitter-hek-v0.6.3
Stablereleased this
2026-09-22 00:44:59 +10:00 | 3 commits to main since this releaseAdded
- an event's field block takes the bare-name shorthand every other block takes
- an event is a
fn's return type, and agivenis checked against its declaration
Downloads
-
Source code (ZIP)
2 downloads
-
Source code (TAR.GZ)
1 download
-
heklang-v0.11.0
Stablereleased this
2026-09-22 00:44:52 +10:00 | 3 commits to main since this releaseAdded
- an event's field block takes the bare-name shorthand every other block takes
- an event is a
fn's return type, and agivenis checked against its declaration &&narrows where it is true and||where it is false, operands includedList.sum()totals where+is defined, andList.concatjoins two lists
Fixed
- an empty comprehension takes its element type from its yield, not from Json
- a loop body cannot accumulate into an outer
let, and a branch is a scope
Other
- update heklang skill around projectors
Downloads
-
Source code (ZIP)
1 download
-
Source code (TAR.GZ)
1 download
-
hek-v0.5.3
Stablereleased this
2026-09-21 15:34:54 +10:00 | 11 commits to main since this releaseFixed
- a value-ending declaration no longer swallows the soft one below it
Downloads
-
Source code (ZIP)
1 download
-
Source code (TAR.GZ)
1 download
-
heklang-v0.10.0
Stablereleased this
2026-09-21 15:34:45 +10:00 | 11 commits to main since this releaseFixed
- an erase empties the sealed column too, and a seal cannot be put in a box
- a value-ending declaration no longer swallows the soft one below it
Other
- a composite seal is opened by reveal, never read part by part
Downloads
-
Source code (ZIP)
1 download
-
Source code (TAR.GZ)
1 download
-
hek-v0.5.2
Stablereleased this
2026-09-20 00:53:54 +10:00 | 15 commits to main since this releaseAdded
- a subject is a declared type whose values are its ids
Downloads
-
Source code (ZIP)
1 download
-
Source code (TAR.GZ)
1 download
-
tree-sitter-hek-v0.6.2
Stablereleased this
2026-09-20 00:53:45 +10:00 | 15 commits to main since this releaseAdded
- a subject is a declared type whose values are its ids
Downloads
-
Source code (ZIP)
1 download
-
Source code (TAR.GZ)
1 download
-
heklang-v0.9.0
Stablereleased this
2026-09-20 00:53:38 +10:00 | 15 commits to main since this releaseAdded
- 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
-
Source code (ZIP)
1 download
-
Source code (TAR.GZ)
1 download