A toy programming language with effects and contracts.
Check out the website.
- rustc + cargo (for the CLI and website)
- node + npm (for the website)
$ cargo install wasm-pack
$ npm install
$ cargo test
$ bin/run-test.sh tests/*
$ npm start
$ npm run build