List view

• 1.6

  Due by February 2, 2022

  •27/27 issues closed
  100% complete0 open27 closed

• 1.0.2

  No due date

  •2/2 issues closed
  100% complete0 open2 closed

• 1.2

  No due date

  •34/34 issues closed
  100% complete0 open34 closed

• 0.7

  * Implement dependently typed core * Support for GADT pattern match * Rudimentary (*speculative*) unfolding of primitive recursive functions over Vectors

  No due date

  •3/3 issues closed
  100% complete0 open3 closed

• 1.0

  Due by September 3, 2019

  •37/37 issues closed
  100% complete0 open37 closed

• 0.3.2

  Second bugfix release in the 0.3 branch

  No due date

  •6/6 issues closed
  100% complete0 open6 closed

• 0.5

  No due date

  •2/2 issues closed
  100% complete0 open2 closed

• 0.3.1

  First proper bugfix release for the 0.3 branch.

  No due date

  •14/14 issues closed
  100% complete0 open14 closed