Popularity
6.8
Growing
Activity
0.0
Stable
24
1
2

Monthly Downloads: 59
Programming language: Haskell
License: MIT License
Tags: Math     Language     LambdaCalculus     Lambda     Teaching    
Latest version: v2.0.0

lambda-calculator alternatives and similar packages

Based on the "Teaching" category

Do you think we are missing an alternative of lambda-calculator or a related project?

Add another 'Teaching' Package

README

Lambda Calculus

Build Status

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/lambda-calculus.md](doc/lambda-calculus.md)
  • [doc/system-f.md](doc/system-f.md)

Extended Examples

More examples can be found in the test-suite, 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:

lambda-calculator

This will open a repl (read-eval-print 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 sean@mistersg.net

License

This project is licensed under the MIT License. See [LICENSE](LICENSE)


*Note that all licence references and agreements mentioned in the lambda-calculator README section above are relevant to that project's source code only.