<Project Sdk="Microsoft.NET.Sdk">
  <PropertyGroup>
    <OutputType>Exe</OutputType>
    <TargetFramework>netcoreapp2.0</TargetFramework>
  </PropertyGroup>
  <ItemGroup>
    <Compile Include="prelude.fs" />
    <Compile Include="Debug.fs" />
    <Compile Include="Expr.fs" />
    <Compile Include="Formula.fs" />
    <Compile Include="Elimination.fs" />
    <Compile Include="Dsl.fs" />
    <Compile Include="Tests.fs" />
    <Compile Include="Main.fs" />
  </ItemGroup>
  <ItemGroup>
    <PackageReference Include="FSharpPlus" Version="1.0.0" />
    <PackageReference Include="FsCheck" Version="2.12.0" PrivateAssets="all" />
  </ItemGroup>
</Project>