-
Notifications
You must be signed in to change notification settings - Fork 0
/
main.html
50 lines (47 loc) · 1.43 KB
/
main.html
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
<html>
<!-- must have -->
<script src="js/util/util.js"></script>
<script src="js/monad/monad.js"></script>
<script src="js/monad/cps.js"></script>
<script src="js/util/shortcut.js"></script>
<!-- monad libs -->
<script src="js/monad/id_monad.js"></script>
<script src="js/monad/err_monad_t.js"></script>
<script src="js/monad/state_monad_t.js"></script>
<script src="js/monad/env_monad_t.js"></script>
<script src="js/monad/cont_monad_t.js"></script>
<script src="js/monad/id_state_cont_err_env_monad.js"></script>
<!-- ccl libs -->
<script src="js/ccl/ccl.js"></script>
<script src="js/ccl/lr_parser.js"></script>
<script src="js/ccl/pretty_print.js"></script>
<script src="js/ccl/primitives.js"></script>
<script src="js/ccl/interpreter.js"></script>
<body>
<table>
<tr>
<td>
<textarea cols="80" rows="40" id="source"></textarea>
</td>
<td>
<form>
<input id="parse" type="button" value="parse >>">
<br/>
<br/>
<input id="pretty_print" type="button" value="pretty print <<">
<br/>
<br/>
<input id="run" type="button" value="run >>">
<br/>
<br/>
</form>
</td>
<td>
<textarea cols="80" rows="40" id="result"></textarea>
</td>
</tr>
</table>
</body>
<script src="main.js">
</script>
</html>