List view

• v2.4

  No due date

  •15/28 issues closed
  53% complete13 open15 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/57 issues closed
  12% complete50 open7 closed