(* Text inserted between matching "(*" and "*)" is comment and should be
   ignored by your interpreter. *)

(* There are six examples in this input file, each terminated with a
   a semi-colon. *)

(*************************************************************************)

(lambda fst. (lambda snd. fst)) (lambda var. var) ;

(* the next example should cause a run-time error. *)

(lambda x. lambda y. y) ((lambda x. x x) (lambda x. x x));

(* the next example should cause a syntactic error. *)

(lambda x. lambda y. ) (lambda lambda. lambda);

(lambda x. lambda y. x) (lambda x. x) (lambda x.lambda y. x (x y)) ;

(lambda x. lambda y. x) ((lambda x. x) (lambda x.lambda y. x (x y))) ;

(lambda x.lambda f. f x x) ((lambda f.lambda x.f (f x)) (lambda x.x))
(lambda x.lambda y.x) ;