我正在準備一個演示文稿，其中一些幻燈片包含 Haskell 程式碼，另一些幻燈片包含 Agda。但是，lhs2TeX在輸入語言上進行全域調度，因為它是由命令列開關--haskell或指定的--agda。有沒有辦法將兩者混合起來？
混合 Agda 和 Haskell 程式碼
我正在準備一個演示文稿，其中一些幻燈片包含 Haskell 程式碼，另一些幻燈片包含 Agda。但是，lhs2TeX在輸入語言上進行全域調度，因為它是由命令列開關--haskell或指定的--agda。有沒有辦法將兩者混合起來？