Skip to content

feat(tii): type-directed argument encoding to the TaggedArg wire form#20

Merged
scarmuega merged 1 commit into
mainfrom
feat/tagged-arg-encoder
Jun 22, 2026
Merged

feat(tii): type-directed argument encoding to the TaggedArg wire form#20
scarmuega merged 1 commit into
mainfrom
feat/tagged-arg-encoder

feat(tii): type-directed argument encoding to the TaggedArg wire form

802db76
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning
unit
succeeded Jun 22, 2026 in 17s