-
Notifications
You must be signed in to change notification settings - Fork 3
/
lambda.html
126 lines (109 loc) · 4.87 KB
/
lambda.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
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
<!DOCTYPE html>
<html lang="en-US">
<!-- based on a modification of the js version https://github.com/ishanpm/chemlambda-editor of my chemlambda v2, see the issue https://github.com/chorasimilarity/chemlambda-gui/issues/9
author: Marius
last modified: 16.03.2021
//
-->
<head>
<meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1">
<meta name="viewport" content="width=device-width, initial-scale=1">
<link rel="stylesheet" type="text/css" href="css/icequine.css">
<title>Lambda terms</title>
</head>
<body style="overflow: scroll;">
<script src="js/d3.v5.9.4.min.js"></script>
<script src="js/jquery.min.js"></script>
<script src="js/pagelook.js"></script>
<script src="js/ioprep.js"></script>
<div class="header">
<span3>Cite as: <br></span3><div>Lambda terms reduced with chemlambda. <a href="http://imar.ro/~mbuliga/index.html">© Marius Buliga</a> (2019-2021), <br>https://mbuliga.github.io/quinegraphs/lambda.html<span id="citeas"></span></div>
<span3>See also:</span3><br> <a href="https://chemlambda.github.io/index.html">All chemlambda projects</a>
</div>
<div class="row">
<div class="col-1 menu" style="text-align: left;"><div class="scol-12"> <span3 id="agetext">random choices </span3><br><br> <span3 id="buttonAge" class="image2" ></span3></div>
</div>
<div class="col-7 menu">
<ul>
<li>
<span2>
<select class="theme-construction" id="listofmols" onchange="selectionStarter();">
<option value="howto">MENU</option>
<option value="omega"> omega combinator </option>
<option value="bigpred">the predecessor </option>
<option value="omegaSKI"> omega from S,K combinators</option>
<option value="y_comb_id">Y combinator applied to id</option>
<option value="ackermann_2_2">ackermann_2_2 </option>
<option value="ackermann_3_2">ackermann_3_2 </option>
<option value="times_only_short">5 X 5 = (λm.λn.λf.m(nf)) 5 5 </option>
<option value="times_only_long">5 X 5 = (λm.λn.m (PLUS n) 0) 5 5, with PLUS = λm.λn.m SUCC n </option>
<option value="SKK">SKK </option>
<option value="alexo_example">(λa.aa)(λx.((λb.bb)(λy.yx))) </option>
</select>
</span2>
</li>
<li>
<span3>rewrites weights slider</span3> <div class="slidecontainer">GROW <input class="slider" type="range" min="0" max="100" value="50" id="rewritesRange"> SLIM</div>
</li>
</ul>
</div>
<div class="col-4 menu" style="text-align: left;">
<span3 style="text-align: left;"> nodes ∼ </span3><span id="nodenumber"></span>
</div>
</div>
<div class="row">
<div class="col-1 menu">
<div class="scol-12"> <span3 id="button0" class="image2" ></span3></div>
<div class="scol-12"> <span3 id="button1" class="image2" ></span3></div>
<div class="scol-12"> <span3 id="button2" class="image2" ></span3></div>
<div class="scol-12"> <span3 id="button3" class="image2" ></span3></div>
<div class="scol-12"> <span3 id="button4" class="image2" ></span3></div>
</div>
<div class="col-7 menu">
<ul>
<li> <div id="svgdiv"> </div></li>
<li><span3>gravity slider</span3> <div class="slidecontainer">MIN <input class="slider" type="range" min="1" max="250" value="150" id="gravRange"> MAX</div></li>
<li><span2>CODE: </span2><span id="molyoulookat"></span></li>
<li><span> (Rewrites stop at max. </span><span id="maxnodenumber">512</span> nodes<span>)</span></li>
</ul>
</div>
<div class="col-4 menu" style="text-align: left;">
<span id="comments" ></span><br><br>
<span3 style="text-align: left;" id="errors"></span3>
</div>
</div>
<div class="row">
<div class="scol-6" style="text-align: left;">
<span2>before:</span2><br><br>
<span id="puttransformcachealt"></span>
</div>
<div class="scol-6" style="text-align: left;">
<span2>chosen:</span2><br><br>
<span id="chosentransform"></span>
</div>
<div class="scol-6" style="text-align: left;">
<span2>after:</span2><br><br>
<span id="puttransformcachealtafter"></span>
</div>
<div class="scol-6" style="text-align: left;">
<span2>mol before:</span2><br><br>
<span id="molexport"></span>
</div>
<div class="scol-6" style="text-align: left;">
<span2>mol after:</span2><br><br>
<span id="molexportafter"></span>
</div>
</div>
<script src="js/iceMol.js"></script>
<script src="js/iceComments.js"></script>
<script src="js/parameters.js"></script>
<script src="js/nodes.js"></script>
<script src="js/chemistry.js"></script>
<!-- <script src="js/reactions.js"></script> -->
<script src="js/myD3Graph.js"></script>
<script src="js/icequine.js"></script>
<script>
selectionStarter();
</script>
</body>
</html>