List view

• v0.38

  TBA

  No due date

  •56/56 issues closed
  100% complete0 open56 closed

• v0.37

  No due date

  •38/38 issues closed
  100% complete0 open38 closed

• v0.36

  Rua

  No due date

  •33/33 issues closed
  100% complete0 open33 closed

• v0.35

  TBA

  No due date

  •47/47 issues closed
  100% complete0 open47 closed

• v0.34

  No due date

  •31/31 issues closed
  100% complete0 open31 closed

• v0.33

  TBA

  No due date

  •29/29 issues closed
  100% complete0 open29 closed

• v0.32

  TBA

  No due date

  •35/35 issues closed
  100% complete0 open35 closed

• v0.31

  No due date

  •12/12 issues closed
  100% complete0 open12 closed

• v0.30

  TBA

  No due date

  •48/48 issues closed
  100% complete0 open48 closed

• v0.29

  No due date

  •30/30 issues closed
  100% complete0 open30 closed

• v0.28

  TBD

  No due date

  •56/56 issues closed
  100% complete0 open56 closed

• v0.27

  TBA

  No due date

  •43/43 issues closed
  100% complete0 open43 closed

• v0.26

  TBA

  No due date

  •46/46 issues closed
  100% complete0 open46 closed

• v0.25

  TBA

  No due date

  •56/56 issues closed
  100% complete0 open56 closed

• v0.24

  No due date

  •51/51 issues closed
  100% complete0 open51 closed

• v0.23

  LSP, pm, etc.

  No due date

  •65/65 issues closed
  100% complete0 open65 closed

• v0.22

  Use GK

  No due date

  •34/34 issues closed
  100% complete0 open34 closed

• v0.21

  Replace lsp with javacs protocol

  No due date

  •48/48 issues closed
  100% complete0 open48 closed

• v0.20

  No due date

  •24/24 issues closed
  100% complete0 open24 closed

• v0.19

  No due date

  •35/35 issues closed
  100% complete0 open35 closed

• v0.18

  TBA

  No due date

  •31/31 issues closed
  100% complete0 open31 closed

• v0.17

  No due date

  •11/11 issues closed
  100% complete0 open11 closed

• v0.16

  TBA

  No due date

  •36/36 issues closed
  100% complete0 open36 closed

• v0.15

  TBA

  No due date

  •51/51 issues closed
  100% complete0 open51 closed

• v0.14

  No due date

  •45/45 issues closed
  100% complete0 open45 closed

• v0.13

  No due date

  •33/33 issues closed
  100% complete0 open33 closed

• v0.12

  Actually implemented the inference of type checking ordering, extracted some tools from `base` to `tools`, allow emission of `Type 0` in data declarations, suppressed some unnecessary errors, improved 'unresolved meta' error message with a description of their location, enhanced pretty printing (for `new` expressions, binary operators, reduced unnecessary parentheses and added necessary parentheses, eta-contract def-calls), added error message for unknown fields, make the latex backend automatically insert `\noindent`, removed jimgui-based tracer (moved to test) for smaller fatJars, fixed no-arg constructor pattern matching, improved coverage checker (fixed a divergence case, added fuel for impossible cases elimination), fixed pattern checker when there are more implicit parameters omitted in the patterns, added `compareApprox` in `compareUntyped`, removed `abusing` syntax, refactor `bind` syntax, use the REPL for pretty-printing options configuration.

  No due date

  •37/37 issues closed
  100% complete0 open37 closed

• v0.11

  TBA

  No due date

  •39/39 issues closed
  100% complete0 open39 closed

• v0.10

  Performance improvements¸ prototypical repl, binary operator enhancements, relicense as MIT, substitution bug fixes, minor level solver improvements, code of conduct & contribution guidelines. Internal refactoring: `Problem::describe` is now parameterized by `DistillationOptions`, remove infinity level in universe polymorphism

  No due date

  •36/36 issues closed
  100% complete0 open36 closed