GitHub - felixzhuologist/lambdacube: repl.it for type systems

[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

Name		Name	Last commit message	Last commit date
Latest commit History 92 Commits
src		src
www		www
.gitignore		.gitignore
.rustfmt.toml		.rustfmt.toml
Cargo.toml		Cargo.toml
README.md		README.md
build-release.sh		build-release.sh
build.sh		build.sh