Explicit Substitution

An implementation 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 @xieyuheng/explicit-lisp.js

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

Development

npm install
npm run build
npm run test

License

GPLv3