From: Jim Pryor <profjim@jimpryor.net>
Date: Thu, 23 Sep 2010 06:36:52 +0000 (-0400)
Subject: tweak lambda evaluator
X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=commitdiff_plain;h=7a8b2473541fe004b8c31d7238aaa337f24fa6f5;hp=518a11274337da8ebfcd2d5ea2fe9f302a424ea9

tweak lambda evaluator

Signed-off-by: Jim Pryor <profjim@jimpryor.net>
---

diff --git a/lambda_evaluator.mdwn b/lambda_evaluator.mdwn
index 1ca957b4..afcf926e 100644
--- a/lambda_evaluator.mdwn
+++ b/lambda_evaluator.mdwn
@@ -39,10 +39,10 @@ let and = \l r. l r false in
 </textarea>
 <input id="PARSE" value="Normalize" type="button">
 <noscript><p>You may not see it because you have JavaScript turned off. Uffff!</p></noscript>
-<script language=JavaScript src="code/tokens.js"></script>
-<script language=JavaScript src="code/parse.js"></script>
-<script language=JavaScript src="code/lambda.js"></script>
-<script language=JavaScript src="code/json2.js"></script>
+<script src="code/tokens.js"></script>
+<script src="code/parse.js"></script>
+<script src="code/lambda.js"></script>
+<script src="code/json2.js"></script>
 <pre id="OUTPUT">
 </pre>
 <script>