comparison interps/lambda/defs.pickle @ 996:859f9b4339e6

<Gregor> tar xf egobot.tar.xz
author HackBot
date Sun, 09 Dec 2012 19:30:08 +0000
parents
children
comparison
equal deleted inserted replaced
995:6883f5911eb7 996:859f9b4339e6
1 (dp0
2 S'and'
3 p1
4 (iparser
5 LambdaExp
6 p2
7 (dp3
8 S'body'
9 p4
10 (iparser
11 LambdaExp
12 p5
13 (dp6
14 g4
15 (iparser
16 ApplyExp
17 p7
18 (dp8
19 S'rand'
20 p9
21 (iparser
22 LambdaExp
23 p10
24 (dp11
25 g4
26 (iparser
27 LambdaExp
28 p12
29 (dp13
30 g4
31 (iparser
32 NameExp
33 p14
34 (dp15
35 g4
36 S'y'
37 p16
38 sbsS'arg'
39 p17
40 g16
41 sbsg17
42 S'x'
43 p18
44 sbsS'rator'
45 p19
46 (iparser
47 ApplyExp
48 p20
49 (dp21
50 g9
51 (iparser
52 NameExp
53 p22
54 (dp23
55 g4
56 S'q'
57 p24
58 sbsg19
59 (iparser
60 NameExp
61 p25
62 (dp26
63 g4
64 S'p'
65 p27
66 sbsbsbsg17
67 g24
68 sbsg17
69 g27
70 sbsS'false'
71 p28
72 g10
73 sS'show'
74 p29
75 (iparser
76 SpecialExp
77 p30
78 (dp31
79 S'body'
80 p32
81 S'#show'
82 p33
83 sbsS'true'
84 p34
85 (iparser
86 LambdaExp
87 p35
88 (dp36
89 g4
90 (iparser
91 LambdaExp
92 p37
93 (dp38
94 g4
95 (iparser
96 NameExp
97 p39
98 (dp40
99 g4
100 g18
101 sbsg17
102 g16
103 sbsg17
104 g18
105 sbsS'c3'
106 p41
107 (iparser
108 LambdaExp
109 p42
110 (dp43
111 S'body'
112 p44
113 (iparser
114 LambdaExp
115 p45
116 (dp46
117 g44
118 (iparser
119 ApplyExp
120 p47
121 (dp48
122 S'rand'
123 p49
124 (iparser
125 ApplyExp
126 p50
127 (dp51
128 g49
129 (iparser
130 ApplyExp
131 p52
132 (dp53
133 g49
134 (iparser
135 NameExp
136 p54
137 (dp55
138 g44
139 S'x'
140 p56
141 sbsS'rator'
142 p57
143 (iparser
144 NameExp
145 p58
146 (dp59
147 g44
148 S'f'
149 p60
150 sbsbsg57
151 (iparser
152 NameExp
153 p61
154 (dp62
155 g44
156 g60
157 sbsbsg57
158 (iparser
159 NameExp
160 p63
161 (dp64
162 g44
163 g60
164 sbsbsS'arg'
165 p65
166 g56
167 sbsg65
168 g60
169 sbsS'c256'
170 p66
171 (iparser
172 ApplyExp
173 p67
174 (dp68
175 S'rand'
176 p69
177 (iparser
178 ApplyExp
179 p70
180 (dp71
181 g69
182 (iparser
183 LambdaExp
184 p72
185 (dp73
186 S'body'
187 p74
188 (iparser
189 LambdaExp
190 p75
191 (dp76
192 g74
193 (iparser
194 ApplyExp
195 p77
196 (dp78
197 g69
198 (iparser
199 ApplyExp
200 p79
201 (dp80
202 g69
203 (iparser
204 NameExp
205 p81
206 (dp82
207 g74
208 S'x'
209 p83
210 sbsS'rator'
211 p84
212 (iparser
213 NameExp
214 p85
215 (dp86
216 g74
217 S'f'
218 p87
219 sbsbsg84
220 (iparser
221 NameExp
222 p88
223 (dp89
224 g74
225 g87
226 sbsbsS'arg'
227 p90
228 g83
229 sbsg90
230 g87
231 sbsg84
232 (iparser
233 LambdaExp
234 p91
235 (dp92
236 g74
237 (iparser
238 ApplyExp
239 p93
240 (dp94
241 g69
242 (iparser
243 NameExp
244 p95
245 (dp96
246 g74
247 S'n'
248 p97
249 sbsg84
250 (iparser
251 NameExp
252 p98
253 (dp99
254 g74
255 g97
256 sbsbsg90
257 g97
258 sbsbsg84
259 (iparser
260 LambdaExp
261 p100
262 (dp101
263 g74
264 (iparser
265 ApplyExp
266 p102
267 (dp103
268 g69
269 (iparser
270 NameExp
271 p104
272 (dp105
273 g74
274 g97
275 sbsg84
276 (iparser
277 NameExp
278 p106
279 (dp107
280 g74
281 g97
282 sbsbsg90
283 g97
284 sbsbsS'if'
285 p108
286 (iparser
287 LambdaExp
288 p109
289 (dp110
290 S'body'
291 p111
292 (iparser
293 LambdaExp
294 p112
295 (dp113
296 g111
297 (iparser
298 LambdaExp
299 p114
300 (dp115
301 g111
302 (iparser
303 ApplyExp
304 p116
305 (dp117
306 S'rand'
307 p118
308 (iparser
309 NameExp
310 p119
311 (dp120
312 g111
313 S'y'
314 p121
315 sbsS'rator'
316 p122
317 (iparser
318 ApplyExp
319 p123
320 (dp124
321 g118
322 (iparser
323 NameExp
324 p125
325 (dp126
326 g111
327 S'x'
328 p127
329 sbsg122
330 (iparser
331 NameExp
332 p128
333 (dp129
334 g111
335 S'p'
336 p130
337 sbsbsbsS'arg'
338 p131
339 g121
340 sbsg131
341 g127
342 sbsg131
343 g130
344 sbsS'iszero'
345 p132
346 (iparser
347 LambdaExp
348 p133
349 (dp134
350 g111
351 (iparser
352 ApplyExp
353 p135
354 (dp136
355 g118
356 g35
357 sg122
358 (iparser
359 ApplyExp
360 p137
361 (dp138
362 g118
363 (iparser
364 LambdaExp
365 p139
366 (dp140
367 g111
368 g10
369 sg131
370 g127
371 sbsg122
372 (iparser
373 NameExp
374 p141
375 (dp142
376 g111
377 S'n'
378 p143
379 sbsbsbsg131
380 g143
381 sbsS'pred'
382 p144
383 (iparser
384 LambdaExp
385 p145
386 (dp146
387 S'body'
388 p147
389 (iparser
390 LambdaExp
391 p148
392 (dp149
393 g147
394 (iparser
395 LambdaExp
396 p150
397 (dp151
398 g147
399 (iparser
400 ApplyExp
401 p152
402 (dp153
403 S'rand'
404 p154
405 (iparser
406 LambdaExp
407 p155
408 (dp156
409 g147
410 (iparser
411 NameExp
412 p157
413 (dp158
414 g147
415 S'u'
416 p159
417 sbsS'arg'
418 p160
419 g159
420 sbsS'rator'
421 p161
422 (iparser
423 ApplyExp
424 p162
425 (dp163
426 g154
427 (iparser
428 LambdaExp
429 p164
430 (dp165
431 g147
432 (iparser
433 NameExp
434 p166
435 (dp167
436 g147
437 S'x'
438 p168
439 sbsg160
440 g159
441 sbsg161
442 (iparser
443 ApplyExp
444 p169
445 (dp170
446 g154
447 (iparser
448 LambdaExp
449 p171
450 (dp172
451 g147
452 (iparser
453 LambdaExp
454 p173
455 (dp174
456 g147
457 (iparser
458 ApplyExp
459 p175
460 (dp176
461 g154
462 (iparser
463 ApplyExp
464 p177
465 (dp178
466 g154
467 (iparser
468 NameExp
469 p179
470 (dp180
471 g147
472 S'f'
473 p181
474 sbsg161
475 (iparser
476 NameExp
477 p182
478 (dp183
479 g147
480 S'g'
481 p184
482 sbsbsg161
483 (iparser
484 NameExp
485 p185
486 (dp186
487 g147
488 S'h'
489 p187
490 sbsbsg160
491 g187
492 sbsg160
493 g184
494 sbsg161
495 (iparser
496 NameExp
497 p188
498 (dp189
499 g147
500 S'n'
501 p190
502 sbsbsbsbsg160
503 g168
504 sbsg160
505 g181
506 sbsg160
507 g190
508 sbsS'greyknight'
509 p191
510 (iparser
511 StringExp
512 p192
513 (dp193
514 S'line'
515 p194
516 S'idiot'
517 p195
518 sbsS'c5'
519 p196
520 (iparser
521 ApplyExp
522 p197
523 (dp198
524 S'rand'
525 p199
526 (iparser
527 ApplyExp
528 p200
529 (dp201
530 S'rand'
531 p202
532 g42
533 sS'rator'
534 p203
535 (iparser
536 LambdaExp
537 p204
538 (dp205
539 S'body'
540 p206
541 (iparser
542 LambdaExp
543 p207
544 (dp208
545 g206
546 (iparser
547 LambdaExp
548 p209
549 (dp210
550 g206
551 (iparser
552 ApplyExp
553 p211
554 (dp212
555 S'rand'
556 p213
557 (iparser
558 ApplyExp
559 p214
560 (dp215
561 g213
562 (iparser
563 NameExp
564 p216
565 (dp217
566 g206
567 S'x'
568 p218
569 sbsS'rator'
570 p219
571 (iparser
572 ApplyExp
573 p220
574 (dp221
575 g213
576 (iparser
577 NameExp
578 p222
579 (dp223
580 g206
581 S'f'
582 p224
583 sbsg219
584 (iparser
585 NameExp
586 p225
587 (dp226
588 g206
589 S'n'
590 p227
591 sbsbsbsg219
592 (iparser
593 NameExp
594 p228
595 (dp229
596 g206
597 g224
598 sbsbsS'arg'
599 p230
600 g218
601 sbsg230
602 g224
603 sbsg230
604 g227
605 sbsbsS'rator'
606 p231
607 g204
608 sbsS'c10'
609 p232
610 (iparser
611 ApplyExp
612 p233
613 (dp234
614 g199
615 (iparser
616 ApplyExp
617 p235
618 (dp236
619 g199
620 (iparser
621 ApplyExp
622 p237
623 (dp238
624 g199
625 (iparser
626 ApplyExp
627 p239
628 (dp240
629 g199
630 (iparser
631 ApplyExp
632 p241
633 (dp242
634 g199
635 g197
636 sg231
637 g204
638 sbsg231
639 g204
640 sbsg231
641 g204
642 sbsg231
643 g204
644 sbsg231
645 g204
646 sbsS'fr'
647 p243
648 (iparser
649 ApplyExp
650 p244
651 (dp245
652 S'rand'
653 p246
654 (iparser
655 LambdaExp
656 p247
657 (dp248
658 S'body'
659 p249
660 (iparser
661 LambdaExp
662 p250
663 (dp251
664 g249
665 (iparser
666 ApplyExp
667 p252
668 (dp253
669 S'rand'
670 p254
671 (iparser
672 ApplyExp
673 p255
674 (dp256
675 g254
676 (iparser
677 ApplyExp
678 p257
679 (dp258
680 g254
681 (iparser
682 ApplyExp
683 p259
684 (dp260
685 g254
686 (iparser
687 NameExp
688 p261
689 (dp262
690 g249
691 S'x'
692 p263
693 sbsS'rator'
694 p264
695 g145
696 sbsg264
697 (iparser
698 NameExp
699 p265
700 (dp266
701 g249
702 S'f'
703 p267
704 sbsbsg264
705 (iparser
706 ApplyExp
707 p268
708 (dp269
709 g254
710 (iparser
711 NameExp
712 p270
713 (dp271
714 g249
715 g263
716 sbsg264
717 (iparser
718 LambdaExp
719 p272
720 (dp273
721 S'body'
722 p274
723 (iparser
724 LambdaExp
725 p275
726 (dp276
727 g274
728 (iparser
729 LambdaExp
730 p277
731 (dp278
732 g274
733 (iparser
734 ApplyExp
735 p279
736 (dp280
737 S'rand'
738 p281
739 (iparser
740 ApplyExp
741 p282
742 (dp283
743 g281
744 (iparser
745 NameExp
746 p284
747 (dp285
748 g274
749 S'f'
750 p286
751 sbsS'rator'
752 p287
753 (iparser
754 NameExp
755 p288
756 (dp289
757 g274
758 S'm'
759 p290
760 sbsbsg287
761 (iparser
762 NameExp
763 p291
764 (dp292
765 g274
766 S'n'
767 p293
768 sbsbsS'arg'
769 p294
770 g286
771 sbsg294
772 g293
773 sbsg294
774 g290
775 sbsbsbsg264
776 (iparser
777 ApplyExp
778 p295
779 (dp296
780 g254
781 (iparser
782 LambdaExp
783 p297
784 (dp298
785 S'body'
786 p299
787 (iparser
788 LambdaExp
789 p300
790 (dp301
791 g299
792 (iparser
793 ApplyExp
794 p302
795 (dp303
796 S'rand'
797 p304
798 (iparser
799 NameExp
800 p305
801 (dp306
802 g299
803 S'x'
804 p307
805 sbsS'rator'
806 p308
807 (iparser
808 NameExp
809 p309
810 (dp310
811 g299
812 S'f'
813 p311
814 sbsbsS'arg'
815 p312
816 g307
817 sbsg312
818 g311
819 sbsg264
820 (iparser
821 ApplyExp
822 p313
823 (dp314
824 g254
825 (iparser
826 NameExp
827 p315
828 (dp316
829 g249
830 g263
831 sbsg264
832 g133
833 sbsbsbsS'arg'
834 p317
835 g263
836 sbsg317
837 g267
838 sbsS'rator'
839 p318
840 (iparser
841 LambdaExp
842 p319
843 (dp320
844 S'body'
845 p321
846 (iparser
847 ApplyExp
848 p322
849 (dp323
850 S'rand'
851 p324
852 (iparser
853 LambdaExp
854 p325
855 (dp326
856 g321
857 (iparser
858 ApplyExp
859 p327
860 (dp328
861 g324
862 (iparser
863 ApplyExp
864 p329
865 (dp330
866 g324
867 (iparser
868 NameExp
869 p331
870 (dp332
871 g321
872 S'x'
873 p333
874 sbsS'rator'
875 p334
876 (iparser
877 NameExp
878 p335
879 (dp336
880 g321
881 g333
882 sbsbsg334
883 (iparser
884 NameExp
885 p337
886 (dp338
887 g321
888 S'f'
889 p339
890 sbsbsS'arg'
891 p340
892 g333
893 sbsg334
894 (iparser
895 LambdaExp
896 p341
897 (dp342
898 g321
899 (iparser
900 ApplyExp
901 p343
902 (dp344
903 g324
904 (iparser
905 ApplyExp
906 p345
907 (dp346
908 g324
909 (iparser
910 NameExp
911 p347
912 (dp348
913 g321
914 g333
915 sbsg334
916 (iparser
917 NameExp
918 p349
919 (dp350
920 g321
921 g333
922 sbsbsg334
923 (iparser
924 NameExp
925 p351
926 (dp352
927 g321
928 g339
929 sbsbsg340
930 g333
931 sbsbsg340
932 g339
933 sbsbsS'i1'
934 p353
935 (iparser
936 LambdaExp
937 p354
938 (dp355
939 S'body'
940 p356
941 (iparser
942 LambdaExp
943 p357
944 (dp358
945 g356
946 (iparser
947 ApplyExp
948 p359
949 (dp360
950 S'rand'
951 p361
952 (iparser
953 LambdaExp
954 p362
955 (dp363
956 g356
957 (iparser
958 LambdaExp
959 p364
960 (dp365
961 g356
962 (iparser
963 NameExp
964 p366
965 (dp367
966 g356
967 S'b'
968 p368
969 sbsS'arg'
970 p369
971 g368
972 sbsg369
973 S'a'
974 p370
975 sbsS'rator'
976 p371
977 (iparser
978 NameExp
979 p372
980 (dp373
981 g356
982 g370
983 sbsbsg369
984 g368
985 sbsg369
986 g370
987 sbsS'i0'
988 p374
989 (iparser
990 LambdaExp
991 p375
992 (dp376
993 S'body'
994 p377
995 (iparser
996 LambdaExp
997 p378
998 (dp379
999 g377
1000 (iparser
1001 NameExp
1002 p380
1003 (dp381
1004 g377
1005 S'b'
1006 p382
1007 sbsS'arg'
1008 p383
1009 g382
1010 sbsg383
1011 S'a'
1012 p384
1013 sbsS'succ'
1014 p385
1015 g204
1016 sS'c8'
1017 p386
1018 g237
1019 sS'not'
1020 p387
1021 (iparser
1022 LambdaExp
1023 p388
1024 (dp389
1025 g4
1026 (iparser
1027 ApplyExp
1028 p390
1029 (dp391
1030 g9
1031 g35
1032 sg19
1033 (iparser
1034 ApplyExp
1035 p392
1036 (dp393
1037 g9
1038 g10
1039 sg19
1040 (iparser
1041 NameExp
1042 p394
1043 (dp395
1044 g4
1045 g27
1046 sbsbsbsg17
1047 g27
1048 sbsS'c2'
1049 p396
1050 (iparser
1051 LambdaExp
1052 p397
1053 (dp398
1054 S'body'
1055 p399
1056 (iparser
1057 LambdaExp
1058 p400
1059 (dp401
1060 g399
1061 (iparser
1062 ApplyExp
1063 p402
1064 (dp403
1065 S'rand'
1066 p404
1067 (iparser
1068 ApplyExp
1069 p405
1070 (dp406
1071 g404
1072 (iparser
1073 NameExp
1074 p407
1075 (dp408
1076 g399
1077 S'x'
1078 p409
1079 sbsS'rator'
1080 p410
1081 (iparser
1082 NameExp
1083 p411
1084 (dp412
1085 g399
1086 S'f'
1087 p413
1088 sbsbsg410
1089 (iparser
1090 NameExp
1091 p414
1092 (dp415
1093 g399
1094 g413
1095 sbsbsS'arg'
1096 p416
1097 g409
1098 sbsg416
1099 g413
1100 sbsS'c1'
1101 p417
1102 g297
1103 sS'c0'
1104 p418
1105 (iparser
1106 LambdaExp
1107 p419
1108 (dp420
1109 S'body'
1110 p421
1111 (iparser
1112 LambdaExp
1113 p422
1114 (dp423
1115 g421
1116 (iparser
1117 NameExp
1118 p424
1119 (dp425
1120 g421
1121 S'x'
1122 p426
1123 sbsS'arg'
1124 p427
1125 g426
1126 sbsg427
1127 S'f'
1128 p428
1129 sbsS'c7'
1130 p429
1131 g239
1132 sS'c6'
1133 p430
1134 g241
1135 sS'mult'
1136 p431
1137 g272
1138 sS'c4'
1139 p432
1140 g200
1141 sS'i'
1142 p433
1143 (iparser
1144 LambdaExp
1145 p434
1146 (dp435
1147 S'body'
1148 p436
1149 (iparser
1150 NameExp
1151 p437
1152 (dp438
1153 g436
1154 S'x'
1155 p439
1156 sbsS'arg'
1157 p440
1158 g439
1159 sbsS'k'
1160 p441
1161 (iparser
1162 LambdaExp
1163 p442
1164 (dp443
1165 S'body'
1166 p444
1167 (iparser
1168 LambdaExp
1169 p445
1170 (dp446
1171 g444
1172 (iparser
1173 NameExp
1174 p447
1175 (dp448
1176 g444
1177 S'x'
1178 p449
1179 sbsS'arg'
1180 p450
1181 S'y'
1182 p451
1183 sbsg450
1184 g449
1185 sbsS'c9'
1186 p452
1187 g235
1188 sS's'
1189 p453
1190 (iparser
1191 LambdaExp
1192 p454
1193 (dp455
1194 S'body'
1195 p456
1196 (iparser
1197 LambdaExp
1198 p457
1199 (dp458
1200 g456
1201 (iparser
1202 LambdaExp
1203 p459
1204 (dp460
1205 g456
1206 (iparser
1207 ApplyExp
1208 p461
1209 (dp462
1210 S'rand'
1211 p463
1212 (iparser
1213 ApplyExp
1214 p464
1215 (dp465
1216 g463
1217 (iparser
1218 NameExp
1219 p466
1220 (dp467
1221 g456
1222 S'z'
1223 p468
1224 sbsS'rator'
1225 p469
1226 (iparser
1227 NameExp
1228 p470
1229 (dp471
1230 g456
1231 S'y'
1232 p472
1233 sbsbsg469
1234 (iparser
1235 ApplyExp
1236 p473
1237 (dp474
1238 g463
1239 (iparser
1240 NameExp
1241 p475
1242 (dp476
1243 g456
1244 g468
1245 sbsg469
1246 (iparser
1247 NameExp
1248 p477
1249 (dp478
1250 g456
1251 S'x'
1252 p479
1253 sbsbsbsS'arg'
1254 p480
1255 g468
1256 sbsg480
1257 g472
1258 sbsg480
1259 g479
1260 sbsS'plus'
1261 p481
1262 (iparser
1263 LambdaExp
1264 p482
1265 (dp483
1266 S'body'
1267 p484
1268 (iparser
1269 LambdaExp
1270 p485
1271 (dp486
1272 g484
1273 (iparser
1274 LambdaExp
1275 p487
1276 (dp488
1277 g484
1278 (iparser
1279 LambdaExp
1280 p489
1281 (dp490
1282 g484
1283 (iparser
1284 ApplyExp
1285 p491
1286 (dp492
1287 S'rand'
1288 p493
1289 (iparser
1290 ApplyExp
1291 p494
1292 (dp495
1293 g493
1294 (iparser
1295 NameExp
1296 p496
1297 (dp497
1298 g484
1299 S'x'
1300 p498
1301 sbsS'rator'
1302 p499
1303 (iparser
1304 ApplyExp
1305 p500
1306 (dp501
1307 g493
1308 (iparser
1309 NameExp
1310 p502
1311 (dp503
1312 g484
1313 S'f'
1314 p504
1315 sbsg499
1316 (iparser
1317 NameExp
1318 p505
1319 (dp506
1320 g484
1321 S'n'
1322 p507
1323 sbsbsbsg499
1324 (iparser
1325 ApplyExp
1326 p508
1327 (dp509
1328 g493
1329 (iparser
1330 NameExp
1331 p510
1332 (dp511
1333 g484
1334 g504
1335 sbsg499
1336 (iparser
1337 NameExp
1338 p512
1339 (dp513
1340 g484
1341 S'm'
1342 p514
1343 sbsbsbsS'arg'
1344 p515
1345 g498
1346 sbsg515
1347 g504
1348 sbsg515
1349 g507
1350 sbsg515
1351 g514
1352 sbsS'exp'
1353 p516
1354 (iparser
1355 LambdaExp
1356 p517
1357 (dp518
1358 S'body'
1359 p519
1360 (iparser
1361 LambdaExp
1362 p520
1363 (dp521
1364 g519
1365 (iparser
1366 ApplyExp
1367 p522
1368 (dp523
1369 S'rand'
1370 p524
1371 (iparser
1372 NameExp
1373 p525
1374 (dp526
1375 g519
1376 S'm'
1377 p527
1378 sbsS'rator'
1379 p528
1380 (iparser
1381 NameExp
1382 p529
1383 (dp530
1384 g519
1385 S'n'
1386 p531
1387 sbsbsS'arg'
1388 p532
1389 g531
1390 sbsg532
1391 g527
1392 sbsS'y'
1393 p533
1394 g319
1395 sS'or'
1396 p534
1397 (iparser
1398 LambdaExp
1399 p535
1400 (dp536
1401 g4
1402 (iparser
1403 LambdaExp
1404 p537
1405 (dp538
1406 g4
1407 (iparser
1408 ApplyExp
1409 p539
1410 (dp540
1411 g9
1412 (iparser
1413 NameExp
1414 p541
1415 (dp542
1416 g4
1417 g24
1418 sbsg19
1419 (iparser
1420 ApplyExp
1421 p543
1422 (dp544
1423 g9
1424 g35
1425 sg19
1426 (iparser
1427 NameExp
1428 p545
1429 (dp546
1430 g4
1431 g27
1432 sbsbsbsg17
1433 g24
1434 sbsg17
1435 g27
1436 sbsS'fact'
1437 p547
1438 g244
1439 s.