Skip to content
GitLab

Prioritized labels

Drag to reorder prioritized labels and change their relative priority.

Other labels

  • Bug
    cduce / cduce
  • Improvement
    cduce / cduce
  • Pretty-Printing
    cduce / cduce
  • Runtime
    cduce / cduce
  • Syntax
    cduce / cduce
  • Typing
    cduce / cduce
  • Website/Documentation
    cduce / cduce