Explicit Substitution

An interpreter of lambda calculus by explicit substitution.

• The meaning of scheme's (let) can be viewed as explicit substitution.

(define name body)
(define (name arg ...) body)
(import name ... "./file.scm")

(lambda (name) ret)
(let ((name exp) ...) body)

Usages

Command line tool

Install it by the following command:

npm install -g @cicada-lang/explicit-subst.js

The command-line program is called explicit-subst.js.

Development

npm install
npm run build
npm run test

Contributions

To make a contribution, fork this project and create a pull request.

Please read the STYLE-GUIDE.md before you change the code.

Remember to add yourself to AUTHORS. Your line belongs to you, you can write a little introduction to yourself but not too long.

License

GPLv3