Mus*_*ssy 5 pdf syntax-highlighting literate-programming agda
我正在使用lhs2TeX作为我的文字Agda文件,我希望它们能够突出显示语法.我知道我可以通过%format指令实现一些突出显示,但这有点太多了.我已按照http://foswiki.cs.uu.nl/foswiki/pub/FPOld/CourseLiterature/presentation.pdf的说明尝试使用lhs2Tex-hl,但无济于事.
如果有人可以帮助用彩色Agda获取PDF,那将不胜感激!
编辑
Agda乳胶后端很棒但有一些问题.最大的问题是spec-environment.它说规范是未定义的,所以把它作为一个同义词code应该修复:\newenvironment{spec}{\begin{code}}{\end{code}}但现在有类型检查问题和missing $错误.使用sed删除spec块会导致missing $错误; 同样\newenvironment{spec}{\verbatim}{\endverbatim}.使用时遇到类似问题|...|.另外,我真的很喜欢%formatlhs2tex ......
| 归档时间： |
|
| 查看次数： |
202 次 |
| 最近记录： |