lalrpop-lambda 0.6.1

A λ-calculus grammar writting with LALRPOP.
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

body {
  padding: 10px 20px;
}

.inputs * {
  display: block;
}

textarea {
  border: 2px dashed black;
  color: black;
  font-size: 16px;
  font-family: monospace;
  height: 3in;
  overflow: auto;
  width: 100%;
  margin-bottom: 5px;
}

table {
  border-spacing: 5px 0;
}

table th {
  text-align: right;
}

code {
  padding: 0 3px;
  background: #ddd;
  font-size: 16px;
}

p strong + code {
  margin-left: 3px;
}

code.error {
  background: #f25;
}