Features Highlights
The main functionalities
are:
- Writing lambda-terms
and automatically obtaining
their parse tree
- Manipulating the tree in such a way that these manipulations are visible in its corresponding textual expression
- Marking subterms, free variables, bound
variables and their corresponding
lambda-bindings, beta-redexes
- Defining meta-language
combinators and using
them in the lambda-terms in a compact or expanded
manner
- Stepping visually normalization process in the parse-tree choosing the beta-reduction to be done
- Tracing textually
the normalization
process according
to normal order strategy
|