Labels

• about: N*

  Anything about N*
• about: Zilch

  Anything about Zilch
• good first issue

  Good for newcomers
• help wanted

  Extra attention is needed
• kind: duplicate

  This issue already exists somewhere else
• kind: erroneous

  Something is false and needs a correction
• kind: invalid

  This doesn't seem right
• kind: missing

  Something is missing
• kind: todo

  Thins to do
• kind: vague

  Something is very poorly described/unclear
• topic: grammar

  Grammar rules seem incomplete or missing
• topic: stdlib

  The standard library lacks documentation
• topic: typechecking

  Typing rules are not well described or missing
• wontfix

  This will not be worked on