--- /dev/null
+<html>
+<head>
+<title>Lambda tutorial</title>
+<script language=JavaScript src="lambda.js"></script>
+</head>
+<body>
+
+instance, 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
+let and = (\l (\r ((l r) false))) in
+
+(
+
+((((and false) false) yes) no)
+
+((((and false) true) yes) no)
+
+((((and true) false) yes) no)
+
+((((and true) true) yes) no)
+
+)
+
+</textarea>
+<br>
+<input type=button value="Reduce" onClick="mytry(this.form)"> <input
+type=Label name=result size=50> </form> </center> You should see the
+
+</body>
+</html>