[Agda] .lagda.md in emacs interactive mode

[Martin Escardo]

I am trying to use literate Agda with .lagda.md

When I start emacs with such a file, it doesn't start with the agda 
mode. Do I need to add something to my .emacs?

After I start the Agda mode manually, I can type check the file. 
However, when I have holes, the type of the hole does appear at the 
bottom mini-window, but the question mark "?" remains as a question 
mark. What should I do to fix this?

Thanks,
Martin