Estoy preparando una presentación que contiene código Haskell en algunas diapositivas y Agda en otras. Sin embargo, lhs2TeXse distribuye globalmente en el idioma de entrada, ya que se especifica mediante el modificador de línea de comandos --haskello --agda. ¿Hay alguna manera de mezclar los dos?