FStarLang.DotNet.Common.ProjectTemplates.1.0
0.1.2
dotnet new install FStarLang.DotNet.Common.ProjectTemplates.1.0::0.1.2
This package contains a .NET Template Package you can call from the shell/command line.
Common File Templates for F* language
This package has 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.1.2 | 358 | 8/6/2024 |