The Coq mailing list

[Clément Pit--Claudel <clement.pit AT gmail.com>]

On 07/08/2015 04:05 AM, Emilio Jesús Gallego Arias wrote:
>> Indeed, that's a tricky problem. The Rosilyn team at Microsoft has
>> done great stuff in this domain with their free software .Net
>> compiler; it could be interesting to look at that.
> 
> That sounds very cool, would you mind pointing me to a specific
> reference?

Sure! https://github.com/dotnet/roslyn/wiki/Roslyn%20Overview looks like a 
good start.
This is making plenty of cool things possible, like context-aware completion 
(what Visual Studio calls Intellisense) in Emacs :)

Cheers,
Clément.