[Agda] Lit Agda and MMM mode

Nils Anders Danielsson nad at cse.gu.se
Tue Apr 7 13:59:35 CEST 2015


On 2015-04-06 21:43, N. Raghavendra wrote:
> 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!

Someone (Jelle Herold?) managed to get this kind of thing working using
two-mode-mode:

   https://web.archive.org/web/20130304231610/http://agda.posterous.com/literate-agda-and-emacs-multimode

-- 
/NAD


More information about the Agda mailing list