Compile progol to javascript. See https://www.doc.ic.ac.uk/~shm/progol.html - View it on GitHub