我正在准备一个演示文稿，其中有些幻灯片包含 Haskell 代码，而其他幻灯片包含 Agda。但是，lhs2TeX由于输入语言由命令行开关--haskell或指定，因此会全局调度--agda。有没有办法将两者混合使用？
混合 Agda 和 Haskell 代码
我正在准备一个演示文稿，其中有些幻灯片包含 Haskell 代码，而其他幻灯片包含 Agda。但是，lhs2TeX由于输入语言由命令行开关--haskell或指定，因此会全局调度--agda。有没有办法将两者混合使用？