This app needs javascript.
Type system:
Untyped
|
Simply typed
|
Hindley-Milner
Submit
prefer constants over aliases:
hard to say
To enter lambda, type backslash
\
.
To enter arrow, type hyphen-minus and greater-than sign
-
>
.
EXAMPLES
|
HELP
|
IMPORT DERIVATION FROM A FILE
|
IMPORT ALIASES FROM A FILE
Lambda Calculus Evaluator
Import
&
Export
export
L
a
T
e
X
source
save to a file
print
load derivation from a file
load aliases from a file
Close
Add an alias
=
Help
Cancel
Accept
Use the current term
Name already used
New/modify term
|
Help
|
Options
|
Reduction strategy:
Who knows...
|
Expand aliases:
Maybe
|
Shorthand form:
Probably
Full beta reduction
|
Normal order
|
Call by name
|
Applicative order
|
Call by value
Add a new alias
|
Import/Export
|
Convert to SKI combinators
Welcome.