From b301e0c0e6b54dceecbe4ee1ef8f610411015c30 Mon Sep 17 00:00:00 2001 From: "Kartik K. Agaram" Date: Sat, 27 Jan 2018 00:28:51 -0800 Subject: 4200 Forgot to set up exuberant_ctags_rc as .ctags on new laptop. --- html/tangle.mu.html | 14 +++++++------- 1 file changed, 7 insertions(+), 7 deletions(-) (limited to 'html/tangle.mu.html') diff --git a/html/tangle.mu.html b/html/tangle.mu.html index 469d4a0e..2dbb66d5 100644 --- a/html/tangle.mu.html +++ b/html/tangle.mu.html @@ -65,30 +65,30 @@ if ('onhashchange' in window) { 6 # This isn't a very tasteful example, just a basic demonstration of 7 # possibilities. 8 - 9 def factorial n:num -> result:num [ + 9 def factorial n:num -> result:num [ 10 local-scope 11 load-inputs -12 <factorial-cases> +12 <factorial-cases> 13 ] 14 -15 after <factorial-cases> [ +15 after <factorial-cases> [ 16 # if n=0 return 1 17 return-unless n, 1 18 ] 19 -20 after <factorial-cases> [ +20 after <factorial-cases> [ 21 # return n * factorial(n - 1) 22 { 23 break-unless n 24 x:num <- subtract n, 1 -25 subresult:num <- factorial x +25 subresult:num <- factorial x 26 result <- multiply subresult, n 27 return result 28 } 29 ] 30 -31 def main [ -32 1:num <- factorial 5 +31 def main [ +32 1:num <- factorial 5 33 # trailing space in next line is to help with syntax highlighting 34 $print [result: ], 1:num, [ 35 ] -- cgit 1.4.1-2-gfad0 mp;id=7e977235d4bd341b1d5d5e125affb0646199f16c'>^ 
34514ae8 ^

c912b731 ^





































































































5763322b ^


c912b731 ^




5763322b ^

c912b731 ^

5763322b ^

c912b731 ^

5763322b ^

c912b731 ^

5763322b ^

c912b731 ^

f898ee7a ^

5763322b ^


c912b731 ^

f898ee7a ^

c912b731 ^










34514ae8 ^

c912b731 ^




5763322b ^



f0f16bdf ^

c912b731 ^

5763322b ^

c912b731 ^

53172ce1 ^

c912b731 ^






5763322b ^

c912b731 ^





































6b1bd1ff ^

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
159
160
161

162

163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199

200