[Agda] Lit Agda and MMM mode

[N. Raghavendra]

I'd like to use AUCTeX for editing the LaTeX parts of literate Agda
files.  I tried adapting the MMM settings for Haskell mode to Agda mode,
but couldn't get things to work.  I am wondering if people use MMM mode
for lagda.  All help is appreciated!

Cheers,
Raghu.

-- 
N. Raghavendra <raghu at hri.res.in>, http://www.retrotexts.net/
Harish-Chandra Research Institute, http://www.hri.res.in/