Я готовлю презентацию, которая содержит код Haskell на некоторых слайдах и Agda на других. Однако, lhs2TeXотправляет глобально на входном языке, так как он указан переключателем командной строки --haskellили --agda. Есть ли способ смешать эти два?