Carl Patenaude-Poulin

I'd like to help with this issue, do you know of some relatively self-contained work that needs to get done to support LSP?

@ejgallego any chance I can get access to the in-progress branch?

>what are your goals? Broadly, to invest in something Coq-related for ~150 hours with between February and April. Also, I'd like to do my part towards moving on from CoqIDE...

>the Coq PR allowing for the icheck / LSP prototype to function should land in master soon. What PR would that be? :)

> @lilred for example [coq/coq#10681](https://github.com/coq/coq/pull/10681) and [coq/coq#10884](https://github.com/coq/coq/pull/10884) and a couple other more that have not been submitted yet. Welp, that's indeed on the Coq side, and rather deeper stuff than...

+1. I'm trying to introduce Markdown internally at Microsoft, and StackEdit is my Trojan horse. It would be _awesome_ to have OneDrive and/or OneDrive for Business support. [The OneDrive API...

> I'm happy to mentor anyone who wants to start building a network stack with libpnet, or who wants to get it working on their OS. Well, hello there :)...

Thank you so much for that paper - I'm currently writing up a paper about our progress thus far and our future plans. This is going to be a choice...

Turns out that this already exists as [winrt-uwp.d.ts](https://github.com/DefinitelyTyped/DefinitelyTyped/blob/master/winrt/winrt-uwp.d.ts).

I've also hit this issue, until it's fixed I have no idea how to use .NET Core on GCP, or even whether it's possible at all. Thank you @iantalarico for...