Labels Milestones

8 labels

Sort

Alphabetically Reverse alphabetically Least issues Most issues

• bug

  
  bug
  1 open issues/pull requests
• core

  
  Requires extending the core language
  4 open issues/pull requests
• easy

  
  Easy to fix/implement
  0 open issues/pull requests
• elaborator

  
  Requires extending the elaborator
  3 open issues/pull requests
• hard

  
  Hard to fix/implement
  6 open issues/pull requests
• parser

  
  Requires extending the parser
  4 open issues/pull requests
• urgent

  
  High priority
  1 open issues/pull requests
• usage

  
  Requires extending the capabilities of the `perga` binary
  3 open issues/pull requests