gmhwxi
1
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!
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!
gmhwxi
3
After a bit of reorganization:
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.htmlOn 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!
gmhwxi
4
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!
gmhwxi
5
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.htmlOn 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!