Release 1.1.0

The new release includes also FJ (Featherweight Java) as an example of use of XTypeS.

The previous implementation of FJ in Xtext (http://fj-eclipse.sourceforge.net/) is still available (in that implementation the type system was implemented manually in Java).

XTypeS also ships with another example: the implementation of type inference (with type variables and unification) of lambda calculus in Xtext.

This entry was posted in Releases and tagged , . Bookmark the permalink.

Comments are closed.