This is an example of building c0deine and running it in the browser. Currently to run the webserver you need emrun which is distributed via emscripten. As well as lean4 to compile c0deine.
To setup, run the ./init.sh script which clones c0deine and compiles it using
lean(this only needs to be ran once). Running ./build.sh compiles c0deine into
the WebAssembly and copies it into the c0 directory, which contains the
source for the webpage. Finally, running ./run.sh should open a window in your
browser in which you can use c0deine to compile c0 code.