about summary refs log tree commit diff stats
path: root/html/lambda-to-mu.mu.html
diff options
context:
space:
mode:
authorKartik K. Agaram <vc@akkartik.com>2016-10-22 16:27:36 -0700
committerKartik K. Agaram <vc@akkartik.com>2016-10-22 16:27:36 -0700
commitc02478c4010d54acfaed0318a2c2c689b468e92e (patch)
tree8cdc5a15f685e4ef27205a59306f5781a10b3899 /html/lambda-to-mu.mu.html
parent6a9d8191dfb5606f8d3630375f3ec045bd534ba3 (diff)
downloadmu-c02478c4010d54acfaed0318a2c2c689b468e92e.tar.gz
3558
Diffstat (limited to 'html/lambda-to-mu.mu.html')
-rw-r--r--html/lambda-to-mu.mu.html2
1 files changed, 1 insertions, 1 deletions
diff --git a/html/lambda-to-mu.mu.html b/html/lambda-to-mu.mu.html
index 46788657..131d0122 100644
--- a/html/lambda-to-mu.mu.html
+++ b/html/lambda-to-mu.mu.html
@@ -268,7 +268,7 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color
         close-paren?:bool<span class="Special"> &lt;- </span>equal c, <span class="Constant">41/close-paren</span>
         <span class="muControl">break-unless</span> close-paren?
         read in  <span class="Comment"># skip ')'</span>
-        <span class="muControl">break</span> <span class="Constant">+end-pair:label</span>
+        <span class="muControl">break</span> +end-pair
       <span class="Delimiter">}</span>
       <span class="Comment"># still here? read next element of pair</span>
       next:&amp;:cell, in<span class="Special"> &lt;- </span>parse in
alt'>
03c6f1d3 ^
33352536 ^



bfcc0f85 ^
33352536 ^
bfcc0f85 ^
33352536 ^
03c6f1d3 ^
33352536 ^
03c6f1d3 ^
33352536 ^
3ac95f6a ^

71eb22a5 ^
33352536 ^
03c6f1d3 ^
2a2a5b1e ^
33352536 ^
6070c23e ^
2a2a5b1e ^
6ecddbaa ^
2a2a5b1e ^
33352536 ^
03c6f1d3 ^


33352536 ^

7a583220 ^
33352536 ^

03c6f1d3 ^
f0705578 ^
71eb22a5 ^
7a583220 ^
33352536 ^

f0705578 ^
33352536 ^


f0705578 ^
33352536 ^
f0705578 ^

33352536 ^
7a583220 ^
33352536 ^

f0705578 ^
1639687b ^

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