Logiweb(TM)

Logiweb dictionary of base

Up Help

0 0 base
1 2 proclaim " as " end proclaim
2 0 empty
3 2 preassociative " greater than "
4 2 postassociative " greater than "
5 2 priority " equal "
6 1 priority " end priority
7 0 asterisk
8 0 pyk
9 3 Define " of " as " end define
10 1 math " end math
11 1 display math " end math
12 1 make math " end math
13 0 a
14 0 b
15 0 c
16 0 d
17 0 e
18 0 f
19 0 g
20 0 h
21 0 i
22 0 j
23 0 k
24 0 l
25 0 m
26 0 n
27 0 o
28 0 p
29 0 q
30 0 r
31 0 s
32 0 t
33 0 u
34 0 x
35 0 y
36 0 z
37 0 v
38 0 w
39 0 A
40 0 B
41 0 C
42 0 D
43 0 E
44 0 F
45 0 G
46 0 H
47 0 I
48 0 J
49 0 K
50 0 L
51 0 M
52 0 N
53 0 O
54 0 P
55 0 Q
56 0 R
57 0 S
58 0 T
59 0 U
60 0 V
61 0 W
62 0 X
63 0 Y
64 0 Z
65 0 true
66 1 quote " end quote
67 3 optimized define " of " as " end define
68 0 tex
69 0 tex name
70 0 priority
71 0 value
72 0 macro
73 0 render
74 0 claim
75 0 message
76 0 unpack
77 0 execute
78 0 executables
79 0 exampleaspect0
80 0 exampleaspect1
81 0 exampleaspect2
82 1 name " end name
83 1 macro name " end name
84 1 hiding name " end name
85 1 hide " end hide
86 2 array ( " ) " end array
87 0 left
88 0 center
89 0 right
90 0 %%
91 1 ( " )
92 3 < " | " := " >
93 0 bottom
94 0 false
95 3 define " of " as " end define
96 0 ...
97 0 ---
98 0 Zero
99 0 One
100 0 Two
101 0 Three
102 0 Four
103 0 Five
104 0 Six
105 0 Seven
106 0 Eight
107 0 Nine
108 0 Ten
109 0 Base
110 3 Xor ( " , " , " )
111 3 Carry ( " , " , " )
112 3 Plus ( " , " , " )
113 3 Borrow ( " , " , " )
114 3 Compare ( " , " , " )
115 3 Minus ( " , " , " )
116 0 BoolTag
117 0 IntTag
118 0 PairTag
119 0 ExTag
120 0 MapTag
121 2 equal1 ( " , " )
122 2 TheInt ( " , " )
123 1 int ( " )
124 2 plus1 ( " , " )
125 4 plus2 ( " , " , " , " )
126 1 minus1 ( " )
127 2 minus2 ( " , " )
128 2 times1 ( " , " )
129 4 times2 ( " , " , " , " )
130 2 lt1 ( " , " )
131 4 lt2 ( " , " , " , " )
132 1 reverse ( " )
133 2 revappend ( " , " )
134 2 nth ( " , " )
135 0 exception
136 1 map ( " )
137 1 Catch ( " )
138 1 catch ( " )
139 1 object ( " )
140 3 Object ( " , " , " )
141 1 destruct ( " )
142 0 0
143 0 1
144 0 2
145 0 3
146 0 4
147 0 5
148 0 6
149 0 7
150 0 8
151 0 9
152 1 numeral ( " )
153 3 num1 ( " , " , " )
154 3 num2 ( " , " , " )
155 1 evenp ( " )
156 1 oddp ( " )
157 1 half ( " )
158 1 small ( " )
159 2 double ( " , " )
160 1 lognot ( " )
161 2 logior ( " , " )
162 2 logxor ( " , " )
163 2 logand ( " , " )
164 2 logeqv ( " , " )
165 2 lognand ( " , " )
166 2 lognor ( " , " )
167 2 logandc1 ( " , " )
168 2 logandc2 ( " , " )
169 2 logorc1 ( " , " )
170 2 logorc2 ( " , " )
171 2 logtest ( " , " )
172 2 ash ( " , " )
173 2 ash+ ( " , " )
174 2 ash- ( " , " )
175 2 logbitp ( " , " )
176 1 logcount ( " )
177 1 logcount1 ( " )
178 1 integer-length ( " )
179 0 vector-mask
180 1 vector-empty ( " )
181 1 vector-head1 ( " )
182 1 vector-tail1 ( " )
183 2 vector-cons ( " , " )
184 1 vector ( " )
185 2 vector-suffix ( " , " )
186 2 vector-prefix ( " , " )
187 3 vector-subseq ( " , " , " )
188 1 vector-length ( " )
189 2 vector-index ( " , " )
190 1 vector-head ( " )
191 1 vector-tail ( " )
192 1 vector2byte* ( " )
193 2 vector2byte*1 ( " , " )
194 1 bt2byte* ( " )
195 2 bt2byte*1 ( " , " )
196 1 bt2vector ( " )
197 2 revbyte*2vector ( " , " )
198 2 vector-revappend ( " , " )
199 1 vt2byte* ( " )
200 2 vt2byte*1 ( " , " )
201 1 vt2vector ( " )
202 2 floor1 ( " , " )
203 2 ceiling1 ( " , " )
204 2 round1 ( " , " )
205 2 floor ( " , " )
206 2 ceiling ( " , " )
207 2 truncate ( " , " )
208 2 round ( " , " )
209 1 reverse quotient ( " )
210 1 length ( " )
211 2 length1 ( " , " )
212 2 list-prefix ( " , " )
213 2 list-suffix ( " , " )
214 3 lookup ( " , " , " )
215 2 zip ( " , " )
216 3 array1 ( " , " , " )
217 4 array2 ( " , " , " , " )
218 2 array3 ( " , " )
219 2 array4 ( " , " )
220 5 array5 ( " , " , " , " , " )
221 3 eval ( " , " , " )
222 4 eval1 ( " , " , " , " )
223 1 spy ( " )
224 1 trace ( " )
225 1 print ( " )
226 1 timer ( " )
227 0 test1
228 1 test2 ( " )
229 2 test3 ( " , " )
230 2 test3* ( " , " )
231 1 ttst1 ( " )
232 1 ftst1 ( " )
233 1 etst1 ( " )
234 1 ttst " end test
235 1 ftst " end test
236 2 etst " ; " end test
237 1 texname " end texname
238 1 testfunc1 ( " )
239 2 testfunc2 ( " , " )
240 0 testfunc3
241 0 testfunc4
242 1 testfunc5 ( " )
243 1 testfunc6 ( " )
244 1 testfunc7 ( " )
245 2 testfunc8 ( " , " )
246 0 macro1
247 1 macro2 ( " )
248 3 macro3 ( " , " , " )
249 3 macro3* ( " , " , " )
250 1 macro4 ( " )
251 0 macrostate0
252 3 stateexpand ( " , " , " )
253 3 stateexpand* ( " , " , " )
254 3 substitute ( " , " , " )
255 3 substitute* ( " , " , " )
256 2 expand ( " , " )
257 1 protect " end protect
258 2 Macro define " as " end define
259 1 Macrodefine ( " )
260 2 macro define " as " end define
261 1 macrodefine ( " )
262 0 self
263 1 makeself ( " )
264 1 root protect " end protect
265 1 rootprotect ( " )
266 2 render define " as " end define
267 2 tex define " as " end define
268 2 tex name define " as " end define
269 2 value define " as " end define
270 2 message define " as " end define
271 1 priority table "
272 1 verifier " end verifier
273 1 unpacker " end unpacker
274 1 renderer " end renderer
275 1 expander " end expander
276 1 executer " end executer
277 1 executables " end executables
278 0 ragged right
279 0 make macro expanded version ragged right
280 0 <<>>
281 1 << " >>
282 1 tuple1 ( " )
283 2 tuple2 ( " , " )
284 2 eager define " as " end define
285 1 eager1 ( " )
286 3 eager2 ( " , " , " )
287 2 eager message define " as " end define
288 1 macrolet1 ( " )
289 0 destructure
290 2 destructure define " as " end define
291 1 let1 ( " )
292 4 let2 ( " , " , " , " )
293 4 let3 ( " , " , " , " )
294 1 make-var ( " )
295 3 make-let ( " , " , " )
296 1 make-prime ( " )
297 1 make-head ( " )
298 1 make-tail ( " )
299 2 back " quote " end quote
300 2 make-root ( " , " )
301 3 make-pair ( " , " , " )
302 1 make-true ( " )
303 2 make-quote ( " , " )
304 3 make-make-root ( " , " , " )
305 1 backquote0 ( " )
306 3 backquote1 ( " , " , " )
307 5 backquote2 ( " , " , " , " , " )
308 5 backquote2* ( " , " , " , " , " )
309 2 text " : " end text
310 1 tex ( " )
311 1 latex ( " )
312 1 bibtex ( " )
313 1 makeindex ( " )
314 1 dvipdfm ( " )
315 6 page ( " , " ) title " bib " main text " appendix " end page
316 1 page1 ( " )
317 3 tex-file ( " , " , " )
318 2 tex-command ( " , " )
319 1 quit ( " )
320 3 boot ( " , " , " )
321 1 write ( " )
322 1 read ( " )
323 2 exec ( " , " )
324 2 int ( " , " )
325 1 extend ( " )
326 1 extended ( " )
327 0 Hello World
328 0 Echo
329 1 Echo1 ( " )
330 0 Eecho
331 1 Eecho1 ( " )
332 1 +"
333 1 -"
334 1 0"
335 1 1"
336 1 2"
337 1 3"
338 1 4"
339 1 5"
340 1 6"
341 1 7"
342 1 8"
343 1 9"
344 1 " factorial
345 2 " _ { " }
346 1 " prime
347 1 " %0
348 1 " %1
349 1 " %2
350 1 " %3
351 1 " %4
352 1 " %5
353 1 " %6
354 1 " %7
355 1 " %8
356 1 " %9
357 1 " head
358 1 " tail
359 1 " raise
360 1 " catch
361 1 " catching maptag
362 1 " maptag
363 1 " untag
364 1 " boolp
365 1 " truep
366 1 " falsep
367 1 " intp
368 1 " pairp
369 1 " atom
370 1 " mapp
371 1 " objectp
372 1 " root
373 1 " Head
374 1 " Tail
375 1 " TheBool
376 1 " TheNat
377 1 " norm
378 1 " Tag
379 1 " BoolP
380 1 " IntP
381 1 " PairP
382 1 " ExP
383 1 " MapP
384 1 " ObjectP
385 1 " Sign
386 1 " Mag
387 1 " zeroth
388 1 " first
389 1 " second
390 1 " third
391 1 " fourth
392 1 " fifth
393 1 " sixth
394 1 " seventh
395 1 " eighth
396 1 " ninth
397 1 " ref
398 1 " idx
399 1 " debug
400 2 " [[ " ]]
401 3 " [[ " -> " ]]
402 3 " [[ " => " ]]
403 1 " unquote
404 2 " ' "
405 2 " apply "
406 1 - "
407 1 + "
408 2 " Times "
409 2 " * "
410 2 " Plus "
411 2 " Minus "
412 2 " + "
413 2 " - "
414 1 PlusTag "
415 1 MinusTag "
416 2 " div "
417 2 " mod "
418 2 " LazyPair "
419 2 " Pair "
420 2 " NatPair "
421 2 " :: "
422 2 " ,, "
423 2 " = "
424 2 " != "
425 2 " Equal "
426 2 " LT "
427 2 " < "
428 2 " <= "
429 2 " > "
430 2 " >= "
431 2 " r= "
432 2 " t= "
433 2 " t=* "
434 1 Not "
435 1 .not. "
436 1 notnot "
437 2 " And "
438 2 " .and. "
439 2 " .then. "
440 2 " &c "
441 2 " Or "
442 2 " .or. "
443 2 " Iff "
444 3 " Select " else " end select
445 2 " IN "
446 2 \ " . "
447 3 If " then " else "
448 3 if " then " else "
449 1 newline "
450 2 LET " BE "
451 3 let " := " in "
452 3 let " = " in "
453 1 norm "
454 2 " Guard "
455 2 " is val : "
456 2 " is bool : "
457 2 " is int : "
458 2 " is pair : "
459 2 " is map : "
460 2 " is object : "
461 2 " reduce to "
462 2 " == "
463 2 ","
464 3 "[ " ]"
465 3 "[[ " ]]"
466 3 "[[[ " ]]]"
467 2 " linebreak "
468 2 " & "
469 2 " \\ "

The pyk compiler, version 0.1.9 by Klaus Grue,
GRD-2007-07-12.UTC:20:10:57.067491 = MJD-54293.TAI:20:11:30.067491 = LGT-4690987890067491e-6