List view

• 1.4

  No due date

  •49/49 issues closed
  100% complete0 open49 closed

• 1.3

  No due date

  •85/85 issues closed
  100% complete0 open85 closed

• 1.2

  Due by January 1, 2024

  •25/25 issues closed
  100% complete0 open25 closed

• 1.1

  Due by October 1, 2023

  •28/28 issues closed
  100% complete0 open28 closed

• 1.0

  First official release of Agda2Hs

  Due by April 1, 2023

  •59/59 issues closed
  100% complete0 open59 closed