Ich bereite eine Präsentation vor, die auf einigen Folien Haskell-Code und auf anderen Agda-Code enthält. Allerdings lhs2TeXwird global auf der Eingabesprache verteilt, da diese durch den Befehlszeilenschalter --haskelloder angegeben wird --agda. Gibt es eine Möglichkeit, die beiden zu mischen?