How to highlight ATS code in a web page?

Google Group
1

The following page contains some syntax-highlighted ATS code:

http://www.ats-lang.org/EXAMPLE/EFFECTIVATS/mergesort/main.html

One way to do this is to first build the command ‘pats2xhtml’. The source
code
for the command is in the following directory:

${PATSHOME}/utils/atsynmark/

However, you need ATS1 to build ‘pats2xhtml’.

Then you can use ‘pats2xhtml’ to translates ATS code into XHTML code; then
perform copy/paste.

Another approach is to build the command ‘atsdoc’ (available in ATS1) and
then
use it to process .atxt files.

Here is the .atxt source for the above main.html:

Some information on atsdoc can be found here:

http://www.ats-lang.org/htdocs-old/DOCUMENT/atsdocman/atsdocman.html

2

As a point of related interest and possible future project, github’s source
highlighting engine is apparently written entirely in python
(http://pygments.org/ ).On Sunday, December 29, 2013 4:59:26 PM UTC-5, gmhwxi wrote:

The following page contains some syntax-highlighted ATS code:

http://www.ats-lang.org/EXAMPLE/EFFECTIVATS/mergesort/main.html

One way to do this is to first build the command ‘pats2xhtml’. The source
code
for the command is in the following directory:

${PATSHOME}/utils/atsynmark/

However, you need ATS1 to build ‘pats2xhtml’.

Then you can use ‘pats2xhtml’ to translates ATS code into XHTML code; then
perform copy/paste.

Another approach is to build the command ‘atsdoc’ (available in ATS1) and
then
use it to process .atxt files.

Here is the .atxt source for the above main.html:

EFFECTIVATS-mergesort

Some information on atsdoc can be found here:

http://www.ats-lang.org/htdocs-old/DOCUMENT/atsdocman/atsdocman.html

3

This is what Matthew Danish uses:

http://cs-people.bu.edu/md/atslistings.styOn Tuesday, January 28, 2014 4:57:21 PM UTC-5, Brandon Barker wrote:

Is there currently a preferred way to convert code to highlighted code in
LaTeX? If not, there are several potential html->latex
http://tex.stackexchange.com/questions/3079/how-do-i-convert-html-to-latexconverters
I may try just to see if anything is reasonable. It seems like the most
promising route would be pats2xhtml → ConTeXt.

On Sunday, December 29, 2013 4:59:26 PM UTC-5, gmhwxi wrote:

The following page contains some syntax-highlighted ATS code:

http://www.ats-lang.org/EXAMPLE/EFFECTIVATS/mergesort/main.html

One way to do this is to first build the command ‘pats2xhtml’. The source
code
for the command is in the following directory:

${PATSHOME}/utils/atsynmark/

However, you need ATS1 to build ‘pats2xhtml’.

Then you can use ‘pats2xhtml’ to translates ATS code into XHTML code; then
perform copy/paste.

Another approach is to build the command ‘atsdoc’ (available in ATS1) and
then
use it to process .atxt files.

Here is the .atxt source for the above main.html:

EFFECTIVATS-mergesort

Some information on atsdoc can be found here:

http://www.ats-lang.org/htdocs-old/DOCUMENT/atsdocman/atsdocman.html

4

Is there currently a preferred way to convert code to highlighted code in
LaTeX? If not, there are several potential html->latex
http://tex.stackexchange.com/questions/3079/how-do-i-convert-html-to-latexconverters
I may try just to see if anything is reasonable. It seems like the most
promising route would be pats2xhtml → ConTeXt.On Sunday, December 29, 2013 4:59:26 PM UTC-5, gmhwxi wrote:

The following page contains some syntax-highlighted ATS code:

http://www.ats-lang.org/EXAMPLE/EFFECTIVATS/mergesort/main.html

One way to do this is to first build the command ‘pats2xhtml’. The source
code
for the command is in the following directory:

${PATSHOME}/utils/atsynmark/

However, you need ATS1 to build ‘pats2xhtml’.

Then you can use ‘pats2xhtml’ to translates ATS code into XHTML code; then
perform copy/paste.

Another approach is to build the command ‘atsdoc’ (available in ATS1) and
then
use it to process .atxt files.

Here is the .atxt source for the above main.html:

EFFECTIVATS-mergesort

Some information on atsdoc can be found here:

http://www.ats-lang.org/htdocs-old/DOCUMENT/atsdocman/atsdocman.html