jllang/lambdacalculator

This is a calculator (or interpreter) for Lambda Calculus implemented with Haskell, a pure functional programming language inspired by Lambda Calculus.

LambdaCalculator

This is a calculator (or interpreter) for Lambda Calculus implemented with Haskell, a pure functional programming language inspired by Lambda Calculus.

lambdacalculator's Issues

Incorrect parentheses

I want to implement the traditional syntax where application is left-associative. If I don't type any parentheses on input, I get an expression of the form <a><b><c>, which is correct:

*Lambda> s appkapp o
(λx.λy.λz.xz(yz))(λx.λy.x)((λx.xx)(λx.xx))

But if I type parentheses to the right-hand-side applicative expression, a strange thing happens. Instead of the number of parentheses increasing, the parentheses around Ω disappear:

*Lambda> s app(kapp o)
(λx.λy.λz.xz(yz))(λx.λy.x)(λx.xx)(λx.xx)

If I type the parentheses to the applicative expression at left-hand side, I get the same expression as in the first case. This makes sense, because of the left-associativity of application. Additional parentheses would only make the expression look more complicated:

*Lambda> (s appk)app o
(λx.λy.λz.xz(yz))(λx.λy.x)((λx.xx)(λx.xx))