Labels · 0xPARC/pod2

backend

Topics: Encoding, Arithmetic constraints, Verification, Layouting

bug

Something isn't working

[tmp while we're specifying] deduction-related issues

Topic that requires discussion

Improvements or additions to documentation

This issue or pull request already exists

New feature or request

frontend

Topics: Language, Syntactic Sugar, Usability

Good for newcomers

Extra attention is needed

impl

code to implement

invalid

This doesn't seem right

question

Further information is requested

refactor

Refactoring task that may be left for the appropriate time

use-case

wontfix

This will not be worked on

Provide feedback