List view

• Agda-2.9.0

  No due date

  •1/1 issues closed
  100% complete0 open1 closed

• hypothetical-rewrite

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

  No due date

  •2/5 issues closed
  40% complete3 open2 closed

• Agda-future

  Relies on changes to the Agda compiler with unknown due date

  No due date

  •2/12 issues closed
  16% complete10 open2 closed

• v3.0

  No due date

  •41/80 issues closed
  51% complete39 open41 closed