blob: c186f6cedcb5212d0869952b29259da357ed167d (
plain) (
blame)
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
|
<!doctype html>
<html>
<head>
<meta charset="UTF-8" />
<meta name="viewport" content="width=device-width" />
<title>Lambda Screen</title>
<link rel="stylesheet" href="style.css" type="text/css" media="all" />
</head>
<body>
<main>
<canvas height="800" width="800" id="canvas"></canvas>
<div>
<div class="inputWrap">
Reduction mode:
<select id="reductionMode">
<option value="auto" selected>Reduce to normal form</option>
<option value="slider">Reduce by sliding</option>
<option value="click">Reduce by clicking</option>
</select>
</div>
<input type="range" min="0" max="20" value="0" id="slider" />
</div>
<div>
<div class="inputWrap">
Load preset:
<select id="examples">
<option value="" selected disabled hidden></option>
<option value="\0">Identity</option>
<option value="\\((((0 \\0) \\0) \\0) \\0)">Just black</option>
<option
value="\(0 \\\\\((((0 \\((6 0) 1)) \\((5 0) 1)) \\((4 0) 1)) \\((3 0) 1)))"
>
Invert
</option>
</select>
</div>
<input
type="text"
placeholder="e.g. \(0...) or 000110... (BLC)"
value=""
name="term"
id="term"
/>
</div>
<button id="render">Render!</button>
</main>
<script src="script.js"></script>
</body>
</html>
|
