Labels

• A | core

  affecting the typechecker
• A | documentation

  affecting supporting documents
• A | emacs

  affecting the elisp code
• A | frontend

  related to the lexer or parser
• A | harpoon

  affecting the Harpoon interactive prover
• A | interactive-mode

  affecting the basic interactive mode `beluga -I`
• A | misc

  miscellaneous issues
• A | printing

  affecting the pretty-printer, error messages, etc.
• A | proof search

  affecting the proof search algorithm
• A | replay

  affecting the legacy interactive mode test harness
• A | totality

  affecting the coverage or wellfoundedness checker
• B | bug

  unexpected or incorrect behaviour
• B | enhancement

  new features
• B | performance

  correct, but slow
• B | refactor

  changing the implementation of existing features
• P | high

  high-priority issues
• P | low

  low priority issue
• S | duplicate
• S | invalid
• S | question
• S | wontfix