v1.0 beta 9

This release fixes an important bug and support a few new minor features

v1.0 beta 6

This release enables an alternative syntax for parameters in definitions (theorems, etc.)

v1.0 beta 5

This release enables a new (and better) syntax for implicit type parameters

v1.0 beta 4

Fourth beta release towards LaTTe 1.0

Beta release before v1.0

This is a pre-release of LaTTe 1.0, which is in preparation (along the official tutorial)

no-discharge

in this release, the explicit discharge of assumption is removed.

beta-release

This release corresponds to a publication on clojars.
The LaTTe kernel is somehow quite stable now...