lambdacalculator alternatives and similar packages
Based on the "Teaching" category.
Alternatively, view lambdacalculator alternatives based on common mentions on social networks and blogs.

worldturtle
LOGOlike Turtle Graphics in the Haskell language using Monads.
Do you think we are missing an alternative of lambdacalculator or a related project?
README
Lambda Calculus
Lambda Calculus is a tiny functional language for expressing computation based on function abstraction and application.
This project is intended to be an educational resource for learning and implementing functional programming languages.
Introduction to Lambda Calculus
Introductory material is provided. They can be found at
 [doc/lambdacalculus.md](doc/lambdacalculus.md)
 [doc/systemf.md](doc/systemf.md)
Extended Examples
More examples can be found in the testsuite, located at
[test/Language/Lambda/Examples](test/Language/Lambda/Examples)
Implementation
A simple implementation of the untyped lambda calculus is included. It is written in Haskell and is implemented to be as easy to follow, at the possible expense of performance.
Building
In order to build, you will need
 GHC >= 8
 stack
Build:
stack build
Then install:
stack install
Running
Once the program is installed, you simply run it:
lambdacalculator
This will open a repl (readevalprint loop) prompt
Lambda Calculator (0.5.0)
Type :h for help
You can start typing lambda calculus expressions and the program will evaluate them and print the result. Here are a few examples:
Lambda Calculator (0.5.0)
Type :h for help
λ > \x. x
λx. x
λ > (\x. x) n
n
λ > (\n f x. f (n f x)) (\f x. f (f x))
λf x. f (f (f x))
λ > :q
You can exit by typing the command :q.
Running Tests
In order to run the testsuite, run
stack test
Author
Sean Gillespie [email protected]
License
This project is licensed under the MIT License. See [LICENSE](LICENSE)
*Note that all licence references and agreements mentioned in the lambdacalculator README section above
are relevant to that project's source code only.