feat: make MessageData.ofConstName be the default coercion from Name to MessageData#5779
Closed
kmill wants to merge 2 commits intoleanprover:masterfrom kmill:messagedata_name
+96-68
Commits
Commits on Oct 19, 2024
Commits on Oct 20, 2024
- committed