Profound (Intuitionistic Version)

THIS IS UNFINISHED SOFTWARE

To build

$ dune build @check # this may fail -- that's OK!
$ opam install . --deps-only
$ npm install
$ cd demo
$ make
$ python3 -m http.server 8000

Then open http://localhost:8000 in a browser. Change the port number if 8000 is unavailable.