Skip to content

Add Codable to session types and auto-number duplicate adversaries#19

Merged
gwillish merged 2 commits into
mainfrom
codable-session-types
Apr 4, 2026
Merged

Add Codable to session types and auto-number duplicate adversaries#19
gwillish merged 2 commits into
mainfrom
codable-session-types

address review feedback on #19

64a1a6a
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar