lambda_mountain 1.12.9

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