Add tests that fold the folding recursive verifier as well in `stdlib` #844

Closed

Assignees

Labels

Milestone

opened

This can be done once we can fold instances of different sizes

Metadata

Assignees

ledwards2225

Labels

Type

No type

Fields

No fields configured for issues without a type.

Projects

No projects

Milestone

ProtogalaxyNo due date

Relationships

None yet

Development

No branches or pull requests