[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