hare-playground/README.md

Hare Playground

Interactive web playground for Hare.

Hare Playground Online

Develop

nix develop
make

Build

make

Build Docker container

docker build -t hareplayground

Run locally

./playground -b ./frontend

Run Docker container

docker run --privileged --rm -p 8080:8080 --name hareplayground hareplayground

Test

Run the container locally. Then:

make test

Deploy

fly deploy

License

MPL.