-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathindex.html
78 lines (78 loc) · 3.13 KB
/
index.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
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
<!DOCTYPE html>
<html>
<head>
<meta charset="utf-8"/>
<title>λ-Espresso ☕</title>
<meta name="description" content="An online lambda calculus interpreter"/>
<meta name="viewport" content="width=device-width, initial-scale=1.0"/>
<link href="assets/vendor/normalize.css" rel="stylesheet"/>
<link href="assets/icon-font/styles.css" rel="stylesheet"/>
<link href="assets/style.css" rel="stylesheet"/>
<script data-goatcounter="https://demian.goatcounter.com/count" async src="//gc.zgo.at/count.js"></script>
</head>
<body>
<header>
<h1>λ <i class="icon-cup"></i></h1>
<nav>
<button class="nav-btn run" title="Ctrl+Enter"><i class="icon-play"></i> <span class="lg-screen-text">Run</span></button>
<button class="nav-btn link" title="Get a URL to share some code with your friends!"><i class="icon-share"></i> <span class="lg-screen-text">Share</span></button>
<div class="examples-dropdown">
<button class="nav-btn"><i class="icon-caret-down"></i>Examples</button>
<li class="examples-menu"></li>
</div>
<a class="nav-btn" href="https://github.com/epidemian/lambda-espresso/"><i class="icon-github"></i> <span class="lg-screen-text">Code</span></a>
</nav>
</header>
<noscript>
<b>This application needs JavaScript to work :(</b><br>
You can enable JavaScript on your browser following
<a href="http://www.enable-javascript.com/" target="_blank">these instructions</a>.
</noscript>
<section class="container">
<main>
<div class="panel">
<textarea class="input" spellcheck="false"></textarea>
</div>
<div class="panel">
<div class="output"></div>
</div>
</main>
<aside>
<div class="options">
<h2>Options</h2>
<div class="option">
Reduction strategy<br>
<label title="Use normal order; should reduce all reducible expressions">
<input type="radio" name="strategy" value="normal" checked>Normal
</label><br>
<label title="Use applicative order; some reducible expressions might not terminate">
<input type="radio" name="strategy" value="applicative">Applicative
</label><br>
<label title="Use call by name reduction strategy">
<input type="radio" name="strategy" value="cbn">Call by name
</label><br>
<label title="Use call by value; some reducible expressions might not terminate">
<input type="radio" name="strategy" value="cbv">Call by value
</label><br>
</div>
<div class="option">
<label>
Max. reduction steps<br>
<input type="number" name="max-steps" value="10000" min="0" step="1">
</label>
</div>
<div class="option">
<label title="Enable η-reductions (e.g. λx.f x → f)">
<input type="checkbox" name="eta-reductions">η-reductions
</label>
</div>
</div>
<footer>
Brewed by
<a href="https://twitter.com/epidemian" target="_blank">@epidemian</a>
</footer>
</aside>
</section>
<script src="assets/index.js"></script>
</body>
</html>