mirror of
https://github.com/Smaug123/agda-utils
synced 2025-10-05 11:38:39 +00:00
19 lines
525 B
XML
19 lines
525 B
XML
<Project Sdk="Microsoft.NET.Sdk">
|
|
|
|
<PropertyGroup>
|
|
<TargetFramework>netcoreapp3.0</TargetFramework>
|
|
</PropertyGroup>
|
|
|
|
<ItemGroup>
|
|
<Compile Include="AssemblyInfo.fs" />
|
|
<Compile Include="Seq.fs" />
|
|
<Compile Include="Types.fs" />
|
|
<Compile Include="AgdaFile.fs" />
|
|
<Compile Include="AgdaCompiler.fs" />
|
|
<Compile Include="AdjacencyList.fs" />
|
|
<Compile Include="Graph.fs" />
|
|
<Compile Include="OpenStatement.fs" />
|
|
</ItemGroup>
|
|
|
|
</Project>
|