lambda-let.html

   1 <html>
   2 <head>
   3 <title>Lambda evaluator with lets</title>
   4 <script language=JavaScript src="code/lambda.js"></script>
   5 </head>
   6 <body>
   7
   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
  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)">
  29 <br>
  30 <textarea cols="80" rows="10" name=result></textarea>
  31 </form> </center>
  32
  33 </body>
  34 </html>