maksimr

; Аппликативный и нормальный порядки вычисления
;
; «полная подстановка, затем редукция» известен под на-
; званием нормальный порядок вычислений (normal-order evaluation)
;
; Пример работы нормального порядка вычисления
; Последовательность подстановок
;     (sum-of-squares (+ 5 1) (* 5 2))
;     (+ (square (+ 5 1)) (square (* 5 2))
;     (+ (* (+ 5 1) (+ 5 1)) (* (* 5 2) (* 5 2)))