First Check In
- Tokenizer
- Parser
Added:
- Interpreter
- AST to string converter

Added example in script that shows: (λx.x) (λy.y) ==> (λy.y)
Added LCI REPL Console App

C:\LCI>lci
Lambda Calculus interpreter 0.0.0.0
> (λx.x)
(λx.x)
> (λx.x) (λy.y)
(λy.y)
>
Added support for Church Numerals + Succ function

Lambda Calculus interpreter 0.0.0.0
> (λf.λx.x)
(λf.(λx.x))
> (λn.λf.λx.(f (n f x))) (λf.λx.x)
(λf.(λx.(f x)))
> (λn.λf.λx.(f (n f x))) (λf.λx.(f x))
(λf.(λx.(f (f x))))
> (λn.λf.λx.(f (n f x))) (λf.λx.(f (f x)))
(λf.(λx.(f (f (f x)))))
> (λn.λf.λx.(f (n f x))) (λf.λx.(f (f (f x))))
(λf.(λx.(f (f (f (f x))))))
>
Added support for addition function
Fixed bug in interpreter
Changed addition tests to expect Church numbers in normal form
Added 2 + 3 addition test
Added Multiplication test 2 * 3
Added predecessor function tests pred 4 = 3
Added tests for:
- True, False
- IsZero function
Added IF THEN ELSE Tests
Added more IfThenElse tests
Added test of almost factorial...missing recursion
Refactored interpreter unit tests to make them more readable.
Refactored interpreter to run LR CBN (Left to Right Call By Name).
Added more tests.
- Replaced interpreter with Normal Order Substitution reducer
- Fixed Factorial
- Added Tests for Factorial of 4 and 5
Y Combinator now works ! :)
Refactorings...
Deleted Script.fsx
Added and, or and not tests
Added tests for NOT
Fixed readLine support for back button.
Added: Church Number -> Number utility function