http://ats-lang.github.io/EXAMPLE/BUCASCS320/assign01/assign01.html
http://ats-lang.github.io/EXAMPLE/BUCASCS320/assign02/assign02_dats.html http://ats-lang.github.io/EXAMPLE/BUCASCS320/assign02/assign02_sol_dats.html http://ats-lang.github.io/EXAMPLE/BUCASCS320/midterm-1/midterm-1_dats.html On Monday, August 8, 2016 at 5:41:12 PM UTC-4, gmhwxi wrote: > > > 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/c11072f6-53de-4950-bb15-69a59eceb80a%40googlegroups.com.
