Labels · inductiva/inductiva

Non back-compatible change

bug

Something isn't working

This needs to be discussed in more detail

Improvements or additions to documentation

This issue or pull request already exists

New feature or request

Good for newcomers

Extra attention is needed

invalid

This doesn't seem right

question

Further information is requested

Perhaps we can do this

Improvements or additions to tutorials

Urgent

We need to look at this ASAP

WIP

Work in Progress

wontfix

This will not be worked on

Provide feedback