A
(((add (suc zero) (suc zero)) +1) 0)
Size: a a a
2020 March 18
l
knet> ;Value: 2
ХЛ
(define true (lambda (a) (lambda (b) a)))
l
knet> ;Value: true
ХЛ
(define false (lambda (a) (lambda (b) b)))
l
knet> ;Value: false
ХЛ
(define if (lambda (a b c) (a b c)))
l
knet> ;Value: if
ХЛ
(define not (lambda (l-op) (lambda (a) (lambda (b) (l-op b a)))
l
knet> ERROR: List was opened but not closed
ХЛ
(define not (lambda (l-op) (lambda (a) (lambda (b) (l-op b a))))
l
knet> ERROR: List was opened but not closed
ХЛ
(define not (lambda (l-op) (lambda (a) (lambda (b) (l-op b a))))
l
knet> ERROR: List was opened but not closed
ХЛ
(define not (lambda (l-op) (lambda (a) (lambda (b) (l-op b a)))))
l
knet> ;Value: not
ХЛ
((not true) 1 3)
l
knet> ERROR: <Procedure> has been called with 2 arguments; it requires exactly 1 arguments
ХЛ
(((not true) 1) 2)
l
knet> ERROR: <Procedure> has been called with 2 arguments; it requires exactly 1 arguments