-
Notifications
You must be signed in to change notification settings - Fork 0
/
visualiser.html
52 lines (36 loc) · 1.78 KB
/
visualiser.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
51
52
<!DOCTYPE html>
<meta charset="UTF-8">
<html>
<head>
<link href="https://fonts.googleapis.com/css?family=Lato:400,900" rel="stylesheet">
<link rel="stylesheet" href="src/style.css">
</head>
<body>
<h1>λ-term visualiser</h1>
<p><b><a href="gallery.html">λ-term gallery</a></b></p>
<p>Graph display powerered by <a href="http://js.cytoscape.org/">Cytoscape.js</a></p>
<p>Type a term t and an environment Γ below!</p>
<p><b>Example:</b> (λx. λy. x y) a b
<br>t = (\x. \y. x y) a b
<br>Γ = a b</b>
<p>t = <input type = "text" id = "input"> Γ = <input type = "text" id = "env"></p>
<p>Define an alias <input type = "text" id = "function-name"> = <input type = "text" id = "function-body"> <button type = "button" id = "function-btn" onclick = "defineFunction();">Define</button></p>
<p id = "bulk"><button type = "button" id = "bulk-btn" onclick = "revealBulkButton();">Bulk define aliases</button><button type = "button" id = "clear-all-btn" onclick = "removeFunctionsButton();">Clear all</button></p>
<p id="function-list"></p>
<button type = "button" id = "execute-btn" onclick = "executeButton();">Execute</button>
<br>
<h2 id="result"></h2>
<p id = "church-room"></p>
<p id = "normalisation-studio"></p>
<img id = "image" src="">
<script src = "src/definition.js"></script>
<script src = "src/parser.js"></script>
<script src = "src/cytoscape.min.js"></script>
<script src = "src/graph.js"></script>
<script src = "src/html.js"></script>
<script src = "src/sharedFunctions.js"></script>
<script src = "src/visualiserFunctions.js"></script>
<script src = "src/evaluator.js"></script>
<script src = "src/generator.js"></script>
</body>
</html>