Created
December 27, 2021 10:30
-
-
Save wallymathieu/dc73bf8b387ed4ca9384fda1ad939c78 to your computer and use it in GitHub Desktop.
Typeprovider issue
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
open FSharpPlus | |
open FSharpPlus.TypeLevel | |
let x = TypeNat<2>.Value | |
// For more information see https://aka.ms/fsharp-console-apps | |
printfn "Hello from F#" |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
<Project Sdk="Microsoft.NET.Sdk"> | |
<PropertyGroup> | |
<OutputType>Exe</OutputType> | |
<TargetFramework>net6.0</TargetFramework> | |
</PropertyGroup> | |
<ItemGroup> | |
<Compile Include="Program.fs" /> | |
</ItemGroup> | |
<ItemGroup> | |
<PackageReference Include="FSharpPlus.TypeLevel" Version="1.2.0" /> | |
</ItemGroup> | |
</Project> |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
#r "nuget: FSharpPlus" | |
#r "nuget: FSharpPlus.TypeLevel" | |
open FSharpPlus | |
open FSharpPlus.TypeLevel | |
let x = TypeNat<2>.Value |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment