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. 
#:sdk FStarLang.Sdk@0.2.0
#:sdk directive can be used in C# file-based apps starting in .NET 10 preview 4. Copy this into a .cs file before any lines of code 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.

Version Downloads Last Updated
0.2.0 453 9/10/2024
0.1.2 441 8/6/2024