Logiweb(TM)

Logiweb codex of base in pyk

Up Help

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

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