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)Install it by the following command:
npm install -g @xieyuheng/explicit-lisp.jsThe command-line program is called explicit-lisp.js.
npm install
npm run build
npm run test