Download of it.xsemantics.example.lambda_1.8.1.v20151009-0657.jar (it.xsemantics.example.lambda_1.8.1.v20151009-0657.jar ( external link: SF.net): 166,428 octetos) will begin shortly. If not so, click link on the left.
Xsemantics is a DSL (implemented in Xtext itself) for writing type systems, reduction rules, interpreters (and in general relation
rules) for languages implemented in Xtext. It then generates Java code that can be used in your language implemented in Xtext
for scoping and validation (it can also generate a validator in Java).
