Open
Description
we cons deg(G)^2 words when we could just cons deg(G)
Metadata
Metadata
Assignees
Labels
No labels
{{ message }}
No one assigned
No labels
No projects
No milestone
None yet
No branches or pull requests
we cons deg(G)^2 words when we could just cons deg(G)