-- testProg = "main = let x = if false 3 5; y = 2 in x; true = \\x y. x; false = \\x y. y; if = \\p x y.  p x y;"
-- prog = parseProgram testProg
-- main = (putStrLn . show . runProgram . lambdaLift) prog

breakln = putStrLn "---------------------------"
breakln = putStrLn "---------------------------"
breakln = putStrLn "---------------------------"