Skip to content

Update the display/debug implementations of Pods to use the pod2 language #267

New issue
New issue
Closed
#269
Closed
Update the display/debug implementations of Pods to use the pod2 language#267
#269
Assignees
ed255
Labels
backendTopics: Encoding, Arithmetic constraints, Verification, LayoutingfrontendTopics: Language, Syntactic Sugar, Usability
@ed255

Description

@ed255
ed255
opened on Jun 9, 2025

The language was introduced in #225

Metadata

Metadata

Assignees

Labels

backendTopics: Encoding, Arithmetic constraints, Verification, LayoutingfrontendTopics: Language, Syntactic Sugar, Usability

Type

No type

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions