我正在使用lhs2TeX作为我的文字Agda文件，我希望它们能够突出显示语法。我知道我可以通过code指令实现一些突出显示，但这有点太多了。我已按照http://foswiki.cs.uu.nl/foswiki/pub/FPOld/CourseLiterature/presentation.pdf的指示尝试使用lhs2Tex-hl，但无济于事。
如果有人可以帮助您使用彩色Agda获取PDF，那将不胜感激！
修改
Agda乳胶后端非常棒但有一些问题。最大的问题是spec-environment。它说规范是未定义的，因此将其作为\newenvironment{spec}{\begin{code}}{\end{code}}的同义词应该可以解决问题：missing $，但现在存在类型检查问题和missing $错误。使用sed删除spec块会导致\newenvironment{spec}{\verbatim}{\endverbatim}错误;同样|...|。使用%format时遇到类似问题。另外，我真的很喜欢lhs2tex的{{1}} ...