https://github.com/felixzhuologist/lambdacube

repl.it for type systems
https://github.com/felixzhuologist/lambdacube

Last synced: about 1 month ago
JSON representation

repl.it for type systems

• Host: GitHub
• URL: https://github.com/felixzhuologist/lambdacube
• Owner: felixzhuologist
• Created: 2018-09-16T23:56:59.000Z (almost 6 years ago)
• Default Branch: master
• Last Pushed: 2018-11-10T00:01:46.000Z (over 5 years ago)
• Last Synced: 2024-02-10T14:03:38.934Z (5 months ago)
• Language: Rust
• Homepage: https://typezoo.netlify.app/
• Size: 1.46 MB
• Stars: 2
• Watchers: 3
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md

Lists

• awesome-rust-formalized-reasoning - lambdacube - implementation of the lambda cube (and other type stuff). (Lambda Calculus / Libraries)

README

        
## [WIP] An implementation of the lambda cube (and other type stuff)

Install dependencies:

```

npm install

```

View the documentation:

```

cargo doc --open

```

Build and run:

```

./build.sh

```

And go to localhost:8080