/* Examples for testing */ "hello"; lambda x:. x; unit; timesfloat 2.0 3.14159; let x=true in x; {x=true, y=false}; {x=true, y=false}.x; {true, false}; {true, false}.1; lambda x:Bool. x; (lambda x:Bool->Bool. if x false then true else false) (lambda x:Bool. if x then false else true); lambda x:Nat. succ x; (lambda x:Nat. succ (succ x)) (succ 0); T = Nat->Nat; lambda f:T. lambda x:Nat. f (f x); lambda x:A. x;