Skip to content

Implementation Plan: Discipline Delivery Channel Matrix Contract#4119

Merged
Trecek merged 3 commits into
developfrom
t5-p6-a1-wp1-encode-the-session-type-x-backend-discipline-de/4044-2
Jun 27, 2026
Merged

Implementation Plan: Discipline Delivery Channel Matrix Contract#4119
Trecek merged 3 commits into
developfrom
t5-p6-a1-wp1-encode-the-session-type-x-backend-discipline-de/4044-2

Commits

Commits on Jun 27, 2026