-
Notifications
You must be signed in to change notification settings - Fork 4
/
index.html
114 lines (95 loc) · 2.92 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
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
<html>
<head>
<title>
Constraint-Based Spreadsheet
</title>
</head>
<body>
<link href="index.css" rel="stylesheet"></style>
<script type="text/ohm-js" namespace="rbs">
Grammar {
Constraint
= Expr '<' Expr -- lt
| Expr '=' Expr -- eq
| Expr '>' Expr -- gt
| ident ':=' Expr -- def
Expr
= AddExpr
AddExpr
= AddExpr '+' MulExpr -- plus
| AddExpr '-' MulExpr -- minus
| MulExpr
MulExpr
= MulExpr ~('+' | '-') ExpExpr -- times1
| MulExpr '*' ExpExpr -- times2
| MulExpr '/' ExpExpr -- divide
| ExpExpr
ExpExpr
= ExpExpr '^' PriExpr -- exp
| PriExpr
PriExpr
= '(' Expr ')' -- paren
| '+' PriExpr -- pos
| '-' PriExpr -- neg
| ident
| number
ident -- identifier
= letter alnum*
number -- number
= digit+ ('.' digit*)? -- wholeAndFrac
| '.' digit+ -- onlyFrac
}
</script>
<script src="lib/ohm.min.js"></script>
<script src="lib/jquery-2.1.3.min.js"></script>
<script src="Relax.js"></script>
<script src="App.js"></script>
<script src="Constraint.js"></script>
<script src="Var.js"></script>
<canvas id="canvas"></canvas>
<app>
<left>
<vars></vars>
</left>
<right>
<constraints></constraints>
<addConstraintButton></addConstraintButton>
</right>
<bottom>
<about>
<contents>
<main>
<appName>Constraint-Based Spreadsheet</appName>
by
<a href="http://tinlizzie.org/~awarth">Alex Warth</a>
</main>
<icons>
<b>Icon credits:</b><br>
"<a href="http://thenounproject.com/term/plus/33942/">Plus</a>" and
"<a href="http://thenounproject.com/term/cross/33853/">Cross</a>" icons
by Berkay Sargin,
"<a href="http://thenounproject.com/term/bars/29229/">Equalizer</a>"
by Stephan Langenegger,
"<a href="http://thenounproject.com/term/lock/1559/">Lock</a>" and
"<a href="http://thenounproject.com/term/unlock/1560/">Unlock</a>" icons
by Ugur Akdemir,
"<a href="http://thenounproject.com/term/warning/32380/">Warning</a>" icon
by Stefan Parnarov,
"<a href="http://thenounproject.com/term/relax/58521/">Relax</a>" icon
by Claire Jones,
"<a href="http://thenounproject.com/term/guru/61520/">Guru</a>" icon
by Icons8,
"<a href="http://thenounproject.com/term/stress/86100/">Stress</a>" icon
by Aenne Brielmann
from <a href="http://thenounproject.com">the Noun Project</a>.
</icons>
</contents>
</about>
<relaxButton>=<errorValue></errorValue></relaxButton>
</bottom>
</app>
<script>
App.init();
</script>
</body>
</html>