Skip to content

Specification of the built-in value type and functions#7810

Merged
kwxm merged 14 commits into
masterfrom
kwxm/spec/builtin-value
Jul 7, 2026
Merged

Specification of the built-in value type and functions#7810
kwxm merged 14 commits into
masterfrom
kwxm/spec/builtin-value

Address PR comments

e44b277
Select commit
Loading
Failed to load commit list.
IOG Hydra / ci/eval succeeded Jul 7, 2026 in 5s

Evaluation succeeded

Checkout took 9s.
Evaluation took 24 min 5s.

View more details on IOG Hydra