Labels

• agda

  Agda implementation issues
• blocked

  Needs more work
• bug

  Something isn't working
• discuss

  Should be discussed and possibly assigned in the next meeting
• documentation

  Documentation of the library, requests for comments
• duplicate

  This issue or pull request already exists
• faq

  (frequently) asked questions
• fix

  Something is wrong, misleading or desperately needs improvement
• good first issue

  Good for newcomers
• help wanted

  Extra attention is needed
• invalid

  This doesn't seem right
• new content

  New mathematical content
• order

  Structuring, enforcing conventions, renaming, ...
• question

  Further information is requested
• re: CI

  Concerning continuous integration
• refactor

  Refactorings, e.g. renaming, moving, rearranging...
• wontfix

  This will not be worked on
• working-as-intended