-
Notifications
You must be signed in to change notification settings - Fork 3
/
lambda2mol.html
160 lines (141 loc) · 6.21 KB
/
lambda2mol.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
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
<!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 Buliga
last modified: 05.05.2020
//
-->
<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>Lambda2chemlambda</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 calculus to chemlambda. <a href="http://imar.ro/~mbuliga/index.html">© Marius Buliga</a> (2019-2021), https://mbuliga.github.io/quinegraphs/lambda2mol.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> <br><br><br>
<span3 id="chemtext">chemλ</span3><br><br>
<span3 id="whichChem" class="image2" ></span3>
</div>
</div>
<div class="col-7 menu">
<ul>
<li>
<span2>
<select class="theme-construction" id="listofmols" onchange="selectionLambda();">
<option value="lambdanote">MENU</option>
<option value="omega"> omega combinator </option>
<option value="4omega"> 4 omega combinator </option>
<option value="ackermann_2_2">ackermann_2_2 </option>
<option value="ackermann_3_2">ackermann_3_2 </option>
<option value="omegaSI"> omega from S,I combinators</option>
<option value="y_comb_id">Y combinator applied to id</option>
<option value="bigpredLambda">the predecessor </option>
<option value="SKK">SKK </option>
<option value="times_only_short">5 X 5 = (\m.(\n.(\f.(m (n f))))) 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="alexo_example">(\a.a a)(\x.((\b.b b)(\y.y x))) </option>
</select>
</span2>
</li>
<li> λ>mol <div><textarea id="inputlambda" class="image2" style="height: 80px; width: 100%; background-color: #010101;
color: #6495ED; font-size: 14px;">(\n.(\f.(\x.(((n (\g.(\h.(h (g f))))) (\u.x)) (\u.u))))) (((\b.(\e.(e b))) (\f.(\x.(f (f (f x)))))) (\f.(\x.(f(f (f (f x)))))))</textarea> </div>
</li>
<li> mol>λ <div><textarea id="evaluation" class="image2" style="height: 80px; width: 100%; background-color: #010101;
color: #6495ED; font-size: 14px;"></textarea> </div></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="lambdatomolbutton" class="image2" ></span3></div> -->
</div>
<div class="col-7 menu">
<!--<div><textarea id="inputlambda" style="height: 50px; width: 100%;"></textarea> </div> -->
</div>
<div class="col-4 menu" style="text-align: left;">
</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">1024</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 src="js/0parser.js"></script>
<script src="js/lambdaTerms.js"></script>
<script>
var whichP = location.hash;
whichP = whichP.replace(/#/g, "");
if (whichP != "") {
document.getElementById("listofmols").value = whichP;
} else {
document.getElementById("listofmols").value = "lambdanote";
}
whichButtons("lambdanote");
selectionLambda();
</script>
</body>
</html>