3 <title>Lambda evaluator with lets</title>
4 <script language=JavaScript src="code/lambda.js"></script>
8 Try clicking on the "Reduce" button: <center><form>
9 <textarea cols="80" rows="20" name=input>
10 let true = (\x (\y x)) in
11 let false = (\x (\y y)) in
12 let and = (\l (\r ((l r) false))) in
16 ((((and false) false) yes) no)
18 ((((and false) true) yes) no)
20 ((((and true) false) yes) no)
22 ((((and true) true) yes) no)
28 <input type=button value="Reduce" onClick="mytry(this.form)">
30 <textarea cols="80" rows="10" name=result></textarea>