Estou preparando uma apresentação que contém código Haskell em alguns slides e Agda em outros. No entanto, lhs2TeX
despacha globalmente no idioma de entrada, uma vez que é especificado pela opção de linha de comando --haskell
ou --agda
. Existe uma maneira de misturar os dois?
Misturando código Agda e Haskell
•
lhs2tex