lambda_mountain 1.12.9

main := print-s(match ((Lambda 1 2) 3) (
   ()
   (((Lambda x y) z) (x z))
));