forked from beta-decay/beta-decay.github.io
-
Notifications
You must be signed in to change notification settings - Fork 0
/
noether.html
44 lines (43 loc) · 1.42 KB
/
noether.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
<!DOCTYPE html>
<html>
<head>
<title>Noether - Editor</title>
<link rel="stylesheet" href="https://maxcdn.bootstrapcdn.com/bootstrap/3.3.1/css/bootstrap.min.css">
<link rel="stylesheet" href="https://maxcdn.bootstrapcdn.com/font-awesome/4.4.0/css/font-awesome.min.css">
<style>
body {
padding-left: 2em;
background-color: gainsboro
}
textarea, input {
font-family: Courier New;
border: none
}
</style>
</head>
<body>
<h1><a href="./">Beta Decay</a> - <a href="https://github.com/beta-decay/noether">Noether</a> Interpreter</h1>
<h3>Code:</h3>
<textarea id="code" rows="4" oninput="javascript:chars()" cols="40"></textarea>
<br/>
<h3>Input:</h3>
<textarea id="input" rows="4" cols="40"></textarea>
<br/><br/>
<button id="run" onclick="javascript:main()">Engage</button>
<button id="clear" onclick="javascript:clearText()">Clear</button>
<br/>
Character count: <span id="ccount">0</span> characters
<h3>Output:</h3>
<textarea id="output" readonly="readonly" rows="4" cols="40" style="cursor: default;"></textarea>
<br/>
<a href="javascript:getperma()">Get permalink</a>
<script src="https://rawgit.com/beta-decay/Noether/master/editor.js"></script>
<script src="https://rawgit.com/beta-decay/Noether/master/interpreter.js"></script>
<script>
function main() {
document.getElementById("output").style.color = "black";
interpreter();
}
</script>
</body>
</html>