goal2html

goal2html

goal2html is a html highlighting program for Goal code.

Install with go install. The goal2html command reads Goal source from a file or standard input and outputs html markup for it, supposed to be included within an html document, for example within a <pre> or inline. See go --help for command-line usage details.

The resulting html can be used with the following css styling:

/* Example CSS with colors from https://github.com/jan-warchol/selenized/blob/master/the-values.md */
span.adverb { color: #ad8900; }
span.comment { color: #909995; }
span.dyad { color: #489100; }
span.escape { color: #dd0f9d; }
span.lambda { color: #d2212d; }
span.monad { color: #0072d4; }
span.number { color: #009c8f; }
span.rx { color: #009c8f; }
span.rxsym { color: #d2212d; }
span.stmt { color: #ad8900; }
span.special { color: #d2212d; }
span.string { color: #009c8f; }
span.xyz { color: #d2212d; }