mirror of
https://github.com/lisk77/lambda.git
synced 2025-10-24 10:18:49 +00:00
32 lines
502 B
Markdown
32 lines
502 B
Markdown
# Lambda
|
|
|
|
A simple lambda calculus evaluator. Its just a bunch of functions you define and use as data and pass into other functions.
|
|
|
|
## How to install
|
|
|
|
```
|
|
git clone https://github.com/lisk77/lambda && cd lambda
|
|
mkdir build && cd build
|
|
cmake ..
|
|
make
|
|
```
|
|
|
|
## How to use
|
|
|
|
Write your code into a file and pipe it into the binary
|
|
|
|
```
|
|
cat file | lambda
|
|
```
|
|
|
|
or just echo the code directly
|
|
|
|
```
|
|
echo "main = \\ x . x;" | lambda
|
|
```
|
|
|
|
## Future ideas
|
|
|
|
- [ ] types
|
|
- [ ] imports
|
|
- [ ] small standard library
|