home *** CD-ROM | disk | FTP | other *** search
/ Frozen Fish 1: Amiga / FrozenFish-Apr94.iso / bbs / alib / d5xx / d524 / kamin.lha / Kamin / P-Distr.lzh / code.sch.o < prev    next >
Text File  |  1989-07-24  |  7KB  |  381 lines
  1. -> -> <closure>
  2.  
  3. -> <closure>
  4.  
  5. -> <closure>
  6.  
  7. -> > <closure>
  8.  
  9. -> <closure>
  10.  
  11. -> <closure>
  12.  
  13. -> <closure>
  14.  
  15. -> > > > > > <closure>
  16.  
  17. -> <closure>
  18.  
  19. -> <closure>
  20.  
  21. -> <closure>
  22.  
  23. -> <closure>
  24.  
  25. -> > > > <closure>
  26.  
  27. -> <closure>
  28.  
  29. -> > <closure>
  30.  
  31. -> > > > > <closure>
  32.  
  33. -> > > > <closure>
  34.  
  35. -> <closure>
  36.  
  37. -> -> > <closure>
  38.  
  39. -> (5 7)
  40.  
  41. -> (5 7)
  42.  
  43. -> > > > <closure>
  44.  
  45. -> ((2 9) (4 5))
  46.  
  47. -> ((2 9) (4 5))
  48.  
  49. -> <closure>
  50.  
  51. -> <closure>
  52.  
  53. -> 5
  54.  
  55. -> 5
  56.  
  57. -> -> > > <closure>
  58.  
  59. -> (T () () ())
  60.  
  61. -> (T () () ())
  62.  
  63. -> (4 5 6)
  64.  
  65. -> (4 5 6)
  66.  
  67. -> <closure>
  68.  
  69. -> (4 5 6)
  70.  
  71. -> (4 5 6)
  72.  
  73. -> <closure>
  74.  
  75. -> 7
  76.  
  77. -> 7
  78.  
  79. -> <closure>
  80.  
  81. -> <closure>
  82.  
  83. -> (4 5 6)
  84.  
  85. -> (4 5 6)
  86.  
  87. -> <closure>
  88.  
  89. -> ((3 4) (5 6))
  90.  
  91. -> ((3 4) (5 6))
  92.  
  93. -> > > <closure>
  94.  
  95. -> <closure>
  96.  
  97. -> 30
  98.  
  99. -> 30
  100.  
  101. -> <closure>
  102.  
  103. -> <closure>
  104.  
  105. -> 10
  106.  
  107. -> 10
  108.  
  109. -> <closure>
  110.  
  111. -> 24
  112.  
  113. -> 24
  114.  
  115. -> <closure>
  116.  
  117. -> (3 4 5)
  118.  
  119. -> (3 4 5)
  120.  
  121. -> <closure>
  122.  
  123. -> > > > <closure>
  124.  
  125. -> > > > > <closure>
  126.  
  127. -> <closure>
  128.  
  129. -> > <closure>
  130.  
  131. -> <closure>
  132.  
  133. -> ((95 2170) (85 1005))
  134.  
  135. -> ((95 2170) (85 1005))
  136.  
  137. -> ((85 1005) (85 2170))
  138.  
  139. -> ((85 1005) (85 2170))
  140.  
  141. -> <closure>
  142.  
  143. -> ((85 1005) (95 2170))
  144.  
  145. -> ((85 1005) (95 2170))
  146.  
  147. -> > <closure>
  148.  
  149. -> > <closure>
  150.  
  151. -> > <closure>
  152.  
  153. -> <closure>
  154.  
  155. -> > ((Reddy 2170 95 92) (Kaplan 1005 85 87))
  156.  
  157. -> ((Reddy 2170 95 92) (Kaplan 1005 85 87))
  158.  
  159. -> <closure>
  160.  
  161. -> > <closure>
  162.  
  163. -> > > <closure>
  164.  
  165. -> <closure>
  166.  
  167. -> > ((Kaplan 1005 85 87) (Reddy 2170 95 92))
  168.  
  169. -> ((Kaplan 1005 85 87) (Reddy 2170 95 92))
  170.  
  171. -> > > <closure>
  172.  
  173. -> ()
  174.  
  175. -> <closure>
  176.  
  177. -> <closure>
  178.  
  179. -> <closure>
  180.  
  181. -> (a b)
  182.  
  183. -> (a b)
  184.  
  185. -> T
  186.  
  187. -> T
  188.  
  189. -> ()
  190.  
  191. -> ()
  192.  
  193. -> (b c)
  194.  
  195. -> (b c)
  196.  
  197. -> (c a b)
  198.  
  199. -> (c a b)
  200.  
  201. -> > > > > <closure>
  202.  
  203. -> > <closure>
  204.  
  205. -> > ()
  206.  
  207. -> ()
  208.  
  209. -> > T
  210.  
  211. -> T
  212.  
  213. -> > <closure>
  214.  
  215. -> > <closure>
  216.  
  217. -> <closure>
  218.  
  219. -> > <closure>
  220.  
  221. -> > <closure>
  222.  
  223. -> > > > > > > <closure>
  224.  
  225. -> (() <closure> <closure>)
  226.  
  227. -> ()
  228.  
  229. -> <closure>
  230.  
  231. -> <closure>
  232.  
  233. -> > > > <closure>
  234.  
  235. -> 1
  236.  
  237. -> 1
  238.  
  239. -> > > <closure>
  240.  
  241. -> > > > <closure>
  242.  
  243. -> 1
  244.  
  245. -> 1
  246.  
  247. -> <closure>
  248.  
  249. -> > > > > <closure>
  250.  
  251. -> 1
  252.  
  253. -> 1
  254.  
  255. -> <closure>
  256.  
  257. -> > > > > > > <closure>
  258.  
  259. -> 1
  260.  
  261. -> 1
  262.  
  263. -> <closure>
  264.  
  265. -> > <closure>
  266.  
  267. -> <closure>
  268.  
  269. -> <closure>
  270.  
  271. -> 14
  272.  
  273. -> 14
  274.  
  275. -> 131
  276.  
  277. -> 131
  278.  
  279. -> -> -> > > > <closure>
  280.  
  281. -> <closure>
  282.  
  283. -> -> <closure>
  284.  
  285. -> <closure>
  286.  
  287. -> <closure>
  288.  
  289. -> > > > > > > > > > > > <closure>
  290.  
  291. -> > > > > > > > <closure>
  292.  
  293. -> > > > > > > <closure>
  294.  
  295. -> > > > > > > <closure>
  296.  
  297. -> > > > > > > > > > <closure>
  298.  
  299. -> > > > > > > > > > > > <closure>
  300.  
  301. -> > <closure>
  302.  
  303. -> <closure>
  304.  
  305. -> > > <closure>
  306.  
  307. -> > <closure>
  308.  
  309. -> > > > > > <closure>
  310.  
  311. -> > <closure>
  312.  
  313. -> > > > > > > (((Dx x) 1) ((Dx c) 0) ((Dx (+ X Y)) (+ (Dx X) (Dx Y))) ((Dx (- X Y)) (- (Dx X) (Dx Y))) ((Dx (* X Y)) (+ (* Y (Dx X)) (* X (Dx Y)))) ((Dx (/ X Y)) (/ (- (* Y (Dx X)) (* X (Dx Y))) (* Y Y))))
  314.  
  315. -> <closure>
  316.  
  317. -> -> -> -> <closure>
  318.  
  319. -> <closure>
  320.  
  321. -> <closure>
  322.  
  323. -> <closure>
  324.  
  325. -> > > > > > > > > > <closure>
  326.  
  327. -> > > > <closure>
  328.  
  329. -> > > > <closure>
  330.  
  331. -> > > <closure>
  332.  
  333. -> > > > <closure>
  334.  
  335. -> <closure>
  336.  
  337. -> <closure>
  338.  
  339. -> > > > > > > > > > > > > > > > > ((+ (primop +)) (- (primop -)) (cons (primop cons)) (* (primop *)) (/ (primop /)) (< (primop <)) (> (primop >)) (= (primop =)) (cdr (primop cdr)) (car (primop car)) (number? (primop number?)) (list? (primop list?)) (symbol? (primop symbol?)) (null? (primop null?)) (closure? (primop closure?)) (primop? (primop primop?)))
  340.  
  341. -> > > > > > > > > <closure>
  342.  
  343. -> > > > > > > > > <closure>
  344.  
  345. -> ((+ (primop +)) (- (primop -)) (cons (primop cons)) (* (primop *)) (/ (primop /)) (< (primop <)) (> (primop >)) (= (primop =)) (cdr (primop cdr)) (car (primop car)) (number? (primop number?)) (list? (primop list?)) (symbol? (primop symbol?)) (null? (primop null?)) (closure? (primop closure?)) (primop? (primop primop?)) (double (closure (lambda (a) (+ a a)) ((+ (primop +)) (- (primop -)) (cons (primop cons)) (* (primop *)) (/ (primop /)) (< (primop <)) (> (primop >)) (= (primop =)) (cdr (primop cdr)) (car (primop car)) (number? (primop number?)) (list? (primop list?)) (symbol? (primop symbol?)) (null? (primop null?)) (closure? (primop closure?)) (primop? (primop primop?))))))
  346.  
  347. -> > ((+ (primop +)) (- (primop -)) ... (double (closure (lambda (a) (+ a a)) ...)))
  348.  
  349. -> 8
  350.  
  351. -> 8
  352.  
  353. -> -> > > > > > > > > > <closure>
  354.  
  355. -> > > > <closure>
  356.  
  357. -> > > <closure>
  358.  
  359. -> <closure>
  360.  
  361. -> ((+ (primop +)) (- (primop -)) (cons (primop cons)) (* (primop *)) (/ (primop /)) (< (primop <)) (> (primop >)) (= (primop =)) (cdr (primop cdr)) (car (primop car)) (number? (primop number?)) (list? (primop list?)) (symbol? (primop symbol?)) (null? (primop null?)) (closure? (primop closure?)) (primop? (primop primop?)) (s 10))
  362.  
  363. -> ((+ (primop +)) (- (primop -)) (cons (primop cons)) (* (primop *)) (/ (primop /)) (< (primop <)) (> (primop >)) (= (primop =)) (cdr (primop cdr)) (car (primop car)) (number? (primop number?)) (list? (primop list?)) (symbol? (primop symbol?)) (null? (primop null?)) (closure? (primop closure?)) (primop? (primop primop?)) (s 10) (f (lambda (x) (+ x s))))
  364.  
  365. -> ((+ (primop +)) (- (primop -)) (cons (primop cons)) (* (primop *)) (/ (primop /)) (< (primop <)) (> (primop >)) (= (primop =)) (cdr (primop cdr)) (car (primop car)) (number? (primop number?)) (list? (primop list?)) (symbol? (primop symbol?)) (null? (primop null?)) (closure? (primop closure?)) (primop? (primop primop?)) (s 10) (f (lambda (x) (+ x s))) (g (lambda (s) (f (+ s 11)))))
  366.  
  367. -> 21
  368.  
  369. -> 21
  370.  
  371. -> > ((+ (primop +)) (- (primop -)) (cons (primop cons)) (* (primop *)) (/ (primop /)) (< (primop <)) (> (primop >)) (= (primop =)) (cdr (primop cdr)) (car (primop car)) (number? (primop number?)) (list? (primop list?)) (symbol? (primop symbol?)) (null? (primop null?)) (closure? (primop closure?)) (primop? (primop primop?)) (s 10) (f (lambda (x) (+ x s))) (g (lambda (s) (f (+ s 11)))) (add (lambda (x) (lambda (y) (+ x y)))))
  372.  
  373. -> ((+ (primop +)) (- (primop -)) (cons (primop cons)) (* (primop *)) (/ (primop /)) (< (primop <)) (> (primop >)) (= (primop =)) (cdr (primop cdr)) (car (primop car)) (number? (primop number?)) (list? (primop list?)) (symbol? (primop symbol?)) (null? (primop null?)) (closure? (primop closure?)) (primop? (primop primop?)) (s 10) (f (lambda (x) (+ x s))) (g (lambda (s) (f (+ s 11)))) (add (lambda (x) (lambda (y) (+ x y)))) (add1 (lambda (y) (+ x y))))
  374.  
  375. -> ((+ (primop +)) (- (primop -)) (cons (primop cons)) (* (primop *)) (/ (primop /)) (< (primop <)) (> (primop >)) (= (primop =)) (cdr (primop cdr)) (car (primop car)) (number? (primop number?)) (list? (primop list?)) (symbol? (primop symbol?)) (null? (primop null?)) (closure? (primop closure?)) (primop? (primop primop?)) (s 10) (f (lambda (x) (add1 x))) (g (lambda (s) (f (+ s 11)))) (add (lambda (x) (lambda (y) (+ x y)))) (add1 (lambda (y) (+ x y))))
  376.  
  377. -> 10
  378.  
  379. -> 10
  380.  
  381. ->