일부 슬라이드에는 Haskell 코드가 포함되어 있고 다른 슬라이드에는 Agda가 포함된 프레젠테이션을 준비 중입니다. 그러나 lhs2TeX명령줄 스위치 --haskell또는 로 지정되므로 입력 언어에 대해 전역적으로 디스패치합니다 --agda. 둘을 섞는 방법이 있나요?
Agda와 Haskell 코드 혼합
일부 슬라이드에는 Haskell 코드가 포함되어 있고 다른 슬라이드에는 Agda가 포함된 프레젠테이션을 준비 중입니다. 그러나 lhs2TeX명령줄 스위치 --haskell또는 로 지정되므로 입력 언어에 대해 전역적으로 디스패치합니다 --agda. 둘을 섞는 방법이 있나요?