Labels

• bug

  Something isn't working
• C: backend

  Component: backend
• C: docs

  Documentation
• C: Internals

  Component: Compiler internals
• C: interval check

  Component: interval checker
• C: language

  Component: the Filament language
• C: tools

  Component: tools for Filament
• C: website

  The Filament website
• C: well-formedness

  Component: A check that is not the interval check
• good first issue

  Good for newcomers
• low priority

  We're probably not going to work on this anytime soon
• S: available

  This is available to be worked on
• S: Blocked

  Blocked on other PRs or Issues
• S: discussion needed

  topic needs discussion
• S: needs triage

  Status: Needs some more thinking before being actionable
• tracker