projects / lambda.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 2c3b570)
fiddles
authorChris Barker <barker@kappa.(none)>
Mon, 20 Sep 2010 13:41:05 +0000 (09:41 -0400)
committerChris Barker <barker@kappa.(none)>
Mon, 20 Sep 2010 13:41:05 +0000 (09:41 -0400)
lambda-let.html patch | blob | history

diff --git a/lambda-let.html b/lambda-let.html
index 5bb3ac5..f56c2c5 100644 (file)
--- a/lambda-let.html
+++ b/lambda-let.html
@@ -5,7 +5,7 @@
 </head>
 <body>
 
 </head>
 <body>
 
-instance, try clicking on the "Reduce" button: <center><form> 
+Try clicking on the "Reduce" button: <center><form> 
 <textarea cols="80" rows="20" name=input>
 let true = (\x (\y x)) in
 let false = (\x (\y y)) in
 <textarea cols="80" rows="20" name=input>
 let true = (\x (\y x)) in
 let false = (\x (\y y)) in
@@ -25,8 +25,10 @@ let and = (\l (\r ((l r) false))) in
 
 </textarea>
 <br>
 
 </textarea>
 <br>
-<input type=button value="Reduce" onClick="mytry(this.form)"> <input
-type=Label name=result size=50> </form> </center> You should see the
+<input type=button value="Reduce" onClick="mytry(this.form)"> 
+<br>
+<textarea cols="80" rows="10" name=result></textarea>
+</form> </center> 
 
 </body>
 </html>
 
 </body>
 </html>
NYU Lambda Wiki v2