Differences

This shows you the differences between two versions of the page.

lp-a1 [2018/04/11 22:07]
mvc
lp-a1 [2018/04/11 22:07] (current)
mvc
Line 283: Line 283:
<code> <code>
-> (run* (q)+> (run* q
    (!- '() '(let ([f (lambda (x) x)])     (!- '() '(let ([f (lambda (x) x)])
                      (if (f #t) (f (cons (f 4) 5)) (f (cons 5 (f 6)))))                       (if (f #t) (f (cons (f 4) 5)) (f (cons 5 (f 6)))))
        q))         q))
((pairof Nat Nat)) ((pairof Nat Nat))
-> (run* (q)+> (run* q
    (!- '() '(let ([f (lambda (x) #t)])     (!- '() '(let ([f (lambda (x) #t)])
              (if #t (f (f 5)) (f #t)))               (if #t (f (f 5)) (f #t)))
 

lp-a1.txt · Last modified: 2018/04/11 22:07 by mvc