Home

Welcome to your wiki!

This is the default page, edit it as you see fit. To add a new page simply reference it within brackets, e.g.: [SamplePage].

The wiki uses Markdown syntax.

Project Members:

• Eric Violard (admin)

[Eric Violard]

Input/output

Three text areas are used to interact with the user :

• First one is used to input an expression in a high-level functional language (OCaml)
• Second one is used to input or output a lambda-expression (cf. [lambda-expressions syntax]).
• Third one is used to output reduction steps or result.

Translation

Button ">>>" is used to transform the expression contained in the upper text area. The resulting expression is put into the text area below the button.

Options

Options can be selected by using drop-down lists.