From 72c273c10b618a7607473a7e7d331ba8d1819388 Mon Sep 17 00:00:00 2001 From: Wen Kokke Date: Tue, 16 Jul 2019 16:39:13 +0100 Subject: [PATCH] Minor edit to SCP paper --- papers/scp/PLFA.tex | 13 +++++++------ 1 file changed, 7 insertions(+), 6 deletions(-) diff --git a/papers/scp/PLFA.tex b/papers/scp/PLFA.tex index d5511e60..d28cbdef 100755 --- a/papers/scp/PLFA.tex +++ b/papers/scp/PLFA.tex @@ -955,12 +955,13 @@ these links, rerouting links to the standard library to the online version, and correcting links to local modules. (Before the release of Agda 2.6, Agda did not support highlighting embedded -literate code using HTML. To address this, we wrote \texttt{agda2html}, a tool -which rewrote the output of Agda's HTML highlighter to accomplish this. This -tool had much more functionality, including the fixing of links as outlined -above, the stripping of implicit arguments to achieve a Haskell-like look, and -the support for new Markdown constructs for linking to Agda names. However, -Agda 2.6 has incorporated almost all of this functionality.) +literate code in HTML. We maintained \texttt{agda2html}, a tool which rewrites +the output of Agda's HTML highlighter to highlight embedded code. The tool had +much more functionality, including the fixing of links as outlined above, the +stripping of implicit arguments to achieve a Haskell-like look, and the support +for new Markdown constructs for linking to Agda names. However, Agda 2.6 has +incorporated almost all of this functionality, and \texttt{agda2html} is now +deprecated.) The book is built, tested, and published after each commit, using Travis CI, a web service for continuous integration. The means that the book is constantly