我正在准备一个演示文稿，其中有些幻灯片包含 Haskell 代码，而其他幻灯片包含 Agda。但是，lhs2TeX由于输入语言由命令行开关--haskell或指定，因此会全局调度--agda。有没有办法将两者混合使用？
混合 Agda 和 Haskell 代码
相关内容
- 需要扩展引号中的 HEREDOC 中的变量
- Excel，复杂 IF/ELSE/MACROS
- 包标题错误：非浮点包与（标题）不兼容，因此请尝试 \usepackage{caption}[=v1]。 \begin{document}
- Windows 服务器响应时间非常长
- 未找到 /usr/lib/x86_64-linux-gnu/libpng16.so.16 所需的 zlib_1.2.9
- 更改密码后无法登录（ecryptfs）
- 由于 FUSE 元数据缓存，`bindfs --mirror=user1:user2:...` 是否已损坏？
- 带有身份验证请求的 nginx webdav 服务器
- 我怎样才能放置一个小点？
- 如何在全新安装的 Kubuntu 上恢复使用 kup-backup 创建的备份？