reword assignment 2
[lambda.git] / lambda-let.html
1 <html>
2 <head>
3 <title>Lambda tutorial</title>
4 <script language=JavaScript src="lambda.js"></script>
5 </head>
6 <body>
7
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
13
14 (
15
16 ((((and false) false) yes) no)
17
18 ((((and false) true) yes) no)
19
20 ((((and true) false) yes) no)
21
22 ((((and true) true) yes) no)
23
24 )
25
26 </textarea>
27 <br>
28 <input type=button value="Reduce" onClick="mytry(this.form)"> <input
29 type=Label name=result size=50> </form> </center> You should see the
30
31 </body>
32 </html>