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-substitution

The command-line program is called explicit-substitution.

Development

npm install     # Install dependencies
npm run build   # Compile `src/` to `lib/`
npm run test    # 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