TIE241 Sample Lambda Calculator
This is a very simple lambda calculator. Given a lambda expression as input, it will print out each beta reduction step until a normal form is reached. more…
This is a very simple lambda calculator. Given a lambda expression as input, it will print out each beta reduction step until a normal form is reached. more…
This calculator understands the following syntax:
A variable is a sequence of numbers and letters, started by a letter, followed by zero or more apostrophes (‘).
Applications are expressed by putting a term after another.
Abstractions are started by a backslash () followed by a variable and a term.
Parentheses may be used for grouping.
Note that if the body of the abstraction is an application, parentheses must be used: \x y z means (\x y) z; in \x (y z), the parentheses are required.
Technical note: the calculator uses normal order reduction without memoization.
Cloning this repository:
If you need read and write access use this command:
git clone git@yousource.it.jyu.fi:tie241-sample-lambda-calculator/tie241-sample-lambda-calculator.git tie241-sample-lambda-calculator
If you only want to clone (and not push) use this command:
git clone git://yousource.it.jyu.fi/tie241-sample-lambda-calculator/tie241-sample-lambda-calculator.git tie241-sample-lambda-calculator
Then you can go to your repository:
cd tie241-sample-lambda-calculator
Tuesday March 13 2012
Project
15:35
Antti-Juhani Kaijanaho updated project TIE241 Sample Lambda Calculator
Release
15:32
Commit
15:30
Commit
15:29
Antti-Juhani Kaijanaho started development of tie241-sample-lambda-calculator/tie241-sample-lambda-calculator
Repository
15:28
Antti-Juhani Kaijanaho created repository tie241-sample-lambda-calculator in TIE241 Sample Lambda Calculator
Project
15:27
Antti-Juhani Kaijanaho created project TIE241 Sample Lambda Calculator
This is a very simple lambda calculator. Given a lambda expression as input, it will print out e...