LaTTe : a Laboratory for Type Theory experiments (in clojure)
This release fixes an important bug and support a few new minor features
This release enables an alternative syntax for parameters in definitions (theorems, etc.)
This release enables a new (and better) syntax for implicit type parameters
Fourth beta release towards LaTTe 1.0
This is a pre-release of LaTTe 1.0, which is in preparation (along the official tutorial)
in this release, the explicit discharge of assumption is removed.
This release corresponds to a publication on clojars. The LaTTe kernel is somehow quite stable now...