[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