FStarLang.Sdk
0.2.0
<Sdk Name="FStarLang.Sdk" Version="0.2.0" />
For projects that support Sdk, copy this XML node into the project file to reference the package.
Provides MSBuild support for F* projects.
There are no supported framework assets in this package.
Learn more about Target Frameworks and .NET Standard.
-
.NETFramework 4.0
- No dependencies.
-
.NETStandard 2.0
- No dependencies.
NuGet packages
This package is not used by any NuGet packages.
GitHub repositories
This package is not used by any popular GitHub repositories.