next up previous contents
Next: Examples of syntax of Up: Definition of A++ as Previous: Commenting the definition:   Contents
New book on A++ and the Lambda Calculus available!

Examples of syntax of abstraction 1st alternative in 2.2

(define anton  
  (lambda (x y)
(define berta  anton)
(define charly  (anton a b))


Georg Loczewski 2003-08-07

Impressum und Datenschutz