For the record, here are two more samples: http://ats-lang.github.io/EXAMPLE/BUCASCS320/assign02_dats.html http://ats-lang.github.io/EXAMPLE/BUCASCS320/assign02_sol_dats.html
On Monday, August 8, 2016 at 5:39:25 PM UTC-4, gmhwxi wrote: > > I was in the middle of changing something. > > It should work now. > > On Monday, August 8, 2016 at 4:46:48 PM UTC-4, Zhiqiang Ren wrote: >> >> I clicked the patsopt_tc button, no output is generated. Is the server on? >> >> On Tuesday, August 2, 2016 at 7:34:17 PM UTC-4, gmhwxi wrote: >>> >>> >>> >>> I am preparing some assignments for a programming >>> language course based on ATS. Here is a web-based sample: >>> >>> http://ats-lang.github.io/EXAMPLE/BUCASCS320/assign01.html >>> >>> 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. >>> >>> Cheers! >>> >>> -- You received this message because you are subscribed to the Google Groups "ats-lang-users" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To post to this group, send email to [email protected]. Visit this group at https://groups.google.com/group/ats-lang-users. To view this discussion on the web visit https://groups.google.com/d/msgid/ats-lang-users/36bbcb10-64da-41da-85dc-9f01a494a2c3%40googlegroups.com.
