いくつかのスライドに Haskell コード、他のスライドに Agda を含むプレゼンテーションを準備しています。ただし、lhs2TeXコマンドライン スイッチ--haskellまたはによって指定されているため、 は入力言語に対してグローバルにディスパッチします--agda。この 2 つを混在させる方法はありますか?
AgdaとHaskellのコードを混ぜる
いくつかのスライドに Haskell コード、他のスライドに Agda を含むプレゼンテーションを準備しています。ただし、lhs2TeXコマンドライン スイッチ--haskellまたはによって指定されているため、 は入力言語に対してグローバルにディスパッチします--agda。この 2 つを混在させる方法はありますか?