mirror of
https://github.com/Smaug123/agda-utils
synced 2025-10-06 12:08:41 +00:00
18 lines
428 B
XML
18 lines
428 B
XML
<Project Sdk="Microsoft.NET.Sdk">
|
|
|
|
<PropertyGroup>
|
|
<OutputType>Exe</OutputType>
|
|
<TargetFramework>netcoreapp3.0</TargetFramework>
|
|
<RootNamespace>AgdaUnusedOpens</RootNamespace>
|
|
</PropertyGroup>
|
|
|
|
<ItemGroup>
|
|
<Compile Include="Program.fs" />
|
|
</ItemGroup>
|
|
|
|
<ItemGroup>
|
|
<ProjectReference Include="..\AgdaUnusedOpens\AgdaUnusedOpens.fsproj" />
|
|
</ItemGroup>
|
|
|
|
</Project>
|