Skip to content

Instantly share code, notes, and snippets.

@wallymathieu

wallymathieu/Program.fs

Created December 27, 2021 10:30
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save wallymathieu/dc73bf8b387ed4ca9384fda1ad939c78 to your computer and use it in GitHub Desktop.
Save wallymathieu/dc73bf8b387ed4ca9384fda1ad939c78 to your computer and use it in GitHub Desktop.
Download ZIP
Typeprovider issue
Raw
Program.fs
open FSharpPlus
open FSharpPlus.TypeLevel
let x = TypeNat<2>.Value
// For more information see https://aka.ms/fsharp-console-apps
printfn "Hello from F#"
Raw
typelevel.fsproj
<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>
Raw
typelevel.fsx
#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