Labels

• area: binder_induction
• area: binder_inductive
• area: mrbnf composition
• area: mrbnf fixpoint
• area: recursor
• area: sugar
• bug

  Something isn't working
• documentation

  Improvements or additions to documentation
• duplicate

  This issue or pull request already exists
• good first issue

  Good for newcomers
• help wanted

  Extra attention is needed
• new feature

  Allows to define types that are currently impossible to define
• performance
• Priority: High
• Priority: Low
• research needed

  There is no existing design for the feature
• usability

  Changes that will make it nicer for the end user
• wontfix

  This will not be worked on