A web server written in Coq.
Add the Coq repository:
opam repo add coq-released https://coq.inria.fr/opam/released
Install Pluto:
opam install coq-concurrency-pluto
Run it on some html/ folder:
pluto.native 8000 html/
Your website is now available on localhost:8000.
Add some HTML content to html/, build and run the server:
docker build --tag=pluto .
docker run -ti -p 80:80 pluto
Your website is now available on localhost.