SimpleLambda

Lambda calculus implemented as interpreter in JavaScript. WIP.

Installation

Via npm on Node:

npm install simplelambda

Usage

Reference in your program:

var sl = require('simplelambda');

Parse terms:

term = sl.parse('x');       // variable
term = sl.parse('xy');      // sequence
term = sl.parse('\\x.xy');  // lambda
term = sl.parse('(\\x.x)(\\w.w)');

Reduce term:

while (term) {
    console.log(term.toString());
    term = sl.reduce(term);     // returns null if no reduce can be applied
}

Development

git clone git://github.com/ajlopez/SimpleLambda.git
cd SimpleLambda
npm install
npm test

Samples

• Hello Simple reduce examples.

Versions

• 0.0.1: Published

License

MIT

References

• Lecture Notes on the Lambda Calculus.
• Notas sobre el C�lculo Lambda

Contribution

Feel free to file issues and submit pull requests � contributions are welcome<

If you submit a pull request, please be sure to add or update corresponding test cases, and ensure that npm test continues to pass.