I am preparing some assignments for a programming
language course based on ATS. Here is a web-based sample:
In this sample, one can clearly see how the following services
can be invoked in HTML5:
patsopt-tc, patsopt-cc, patsopt-cc2js and pats2xhtml.
From this point on, one should be able to create a template for
generating a page like assign01.html.