3 <title>Lambda tutorial</title>
4 <script language=JavaScript src="lambda.js"></script>
8 instance, 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)"> <input
29 type=Label name=result size=50> </form> </center> You should see the