Agda彩色PDF

我正在使用lhs2TeX来读取Agda文件，我希望它们的语法突出显示。我知道我可以通过

%格式

指令实现一些突出显示，但这有点太多了。我已尝试按照中的说明使用lhs2Tex hl，但无效

如果有人能帮助获得彩色Agda的PDF，那将不胜感激

编辑

---

Agda latex后端很棒，但也有一些问题。最大的问题是规范环境。它说spec是未定义的，因此将其作为

code

的同义词应该可以解决问题：

\newenvironment{spec}{\begin{code}}{\end{code}}

，但是现在出现了类型检查问题和

缺少$

错误。使用sed删除spec块会导致

丢失$

错误；同样地，

\newenvironment{spec}{\verbatim}{\endverbatim}

。使用

|…|

时出现类似的问题。另外，我很喜欢lhs2tex的

%格式

。

您不想使用latex后端有什么原因吗？谢谢你提到后端！