SemGuS-git / Semgus-Parser

Library and tool for parsing SemGuS specifications
MIT License
4 stars 1 forks source link

Update to .NET 5.0 #9

Closed kjcjohnson closed 3 years ago

kjcjohnson commented 3 years ago

There's no real need to use .NET Standard 2.0 in the parser library, and it limits us from using features such as record types, init-only properties, and more.