/VisualFStar

Support for F* in Visual Studio IDE.

Primary LanguageC#Apache License 2.0Apache-2.0