Labels · agda/cubical

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 of the library, requests for comments

This issue or pull request already exists

faq

(frequently) asked questions

fix

Something is wrong, misleading or desperately needs improvement

Good for newcomers

Extra attention is needed

invalid

This doesn't seem right

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

Provide feedback