List view

• v2.4

  No due date

  •18/26 issues closed
  69% complete8 open18 closed

• hypothetical-rewrite

  For issues that are so disruptive to fix that not even major versions will accommodate them

  No due date

  •1/4 issues closed
  25% complete3 open1 closed

• Agda-future

  Relies on changes to the Agda compiler with unknown due date

  No due date

  •1/12 issues closed
  8% complete11 open1 closed

• v3.0

  No due date

  •7/60 issues closed
  11% complete53 open7 closed