https://github.com/evinism/lambda-explorer

Tutorial / REPL for the lambda calculus
https://github.com/evinism/lambda-explorer

Last synced: about 2 months ago
JSON representation

Tutorial / REPL for the lambda calculus

• Host: GitHub
• URL: https://github.com/evinism/lambda-explorer
• Owner: evinism
• License: mit
• Created: 2017-04-02T00:44:39.000Z (over 7 years ago)
• Default Branch: master
• Last Pushed: 2024-01-26T18:59:27.000Z (8 months ago)
• Last Synced: 2024-04-14T18:09:38.269Z (5 months ago)
• Language: JavaScript
• Homepage: https://lambdaexplorer.com/
• Size: 1.24 MB
• Stars: 60
• Watchers: 4
• Forks: 7
• Open Issues: 43
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

README

        
# Lambda Explorer!

[![Build Status](https://travis-ci.org/evinism/lambda-explorer.svg?branch=master)](https://travis-ci.org/evinism/lambda-explorer)

To get running:

```

npm install

npm run dev

```

then navigate to localhost:8082

To not persist or destroy local copy of the game, visit `/?nopersist`

To view the in progress inline definitions, visit `/?inlinedefs`

### Contributing

[Please contribute!](https://github.com/evinism/lambda-explorer/issues)

Disclaimer: This isn't clean code -- this is MVP code. Not absolutely horrible to work with but still don't expect to find supreme design beauty in here.