<commit_before><?xml version="1.0"?>
<package >
  <metadata>
    <id>Infers</id>
    <version>0.0.0.0</version>
    <title>Infers</title>
    <summary>Infers is a library for deriving F# values from their types.</summary>
    <authors><NAME> and <NAME></authors>
    <owners><NAME></owners>
    <licenseUrl>https://github.com/VesaKarvonen/Infers/blob/master/LICENSE.md</licenseUrl>
    <projectUrl>https://github.com/VesaKarvonen/Infers</projectUrl>
    <requireLicenseAcceptance>false</requireLicenseAcceptance>
    <description>
      Infers is a library for deriving F# values from their types and, in a way,
      a direct application of the Curry-Howard correspondence.  The idea is to
      view the types of F# member functions as Horn clauses.  Using a
      Prolog-style resolution engine it is then possible to attempt to prove
      goals given as simple F# types.  During the resolution process the engine
      invokes the member functions to build a value of the type given as the
      goal.
    </description>
    <releaseNotes>
      This is an experimental version of Infers and is not recommended for
      production use.
    </releaseNotes>
    <copyright>© <NAME> and <NAME></copyright>
    <tags>f# fsharp generic</tags>
  </metadata>
  <files>
    <file src="..\Libs\Infers\bin\Release\Infers.dll" target="lib\net451" />
    <file src="..\Libs\Infers\bin\Release\Infers.xml" target="lib\net451" />
    <file src="..\Libs\Infers.Rep\bin\Release\Infers.Rep.dll" target="lib\net451" />
    <file src="..\Libs\Infers.Rep\bin\Release\Infers.Rep.xml" target="lib\net451" />
  </files>
</package><commit_msg>Nicer formatting.<commit_after><?xml version="1.0"?>
<package >
  <metadata>
    <id>Infers</id>
    <version>0.0.0.0</version>
    <title>Infers</title>
    <summary>Infers is a library for deriving F# values from their types.</summary>
    <authors><NAME> and <NAME></authors>
    <owners><NAME></owners>
    <licenseUrl>https://github.com/VesaKarvonen/Infers/blob/master/LICENSE.md</licenseUrl>
    <projectUrl>https://github.com/VesaKarvonen/Infers</projectUrl>
    <requireLicenseAcceptance>false</requireLicenseAcceptance>
    <description>Infers is a library for deriving F# values from their types and, in a way, a direct application of the Curry-Howard correspondence.  The idea is to view the types of F# member functions as Horn clauses.  Using a Prolog-style resolution engine it is then possible to attempt to prove goals given as simple F# types.  During the resolution process the engine invokes the member functions to build a value of the type given as the goal.</description>
    <releaseNotes>This is an experimental version of Infers and is not recommended for production use.</releaseNotes>
    <copyright>© <NAME> and <NAME></copyright>
    <tags>f# fsharp generic</tags>
  </metadata>
  <files>
    <file src="..\Libs\Infers\bin\Release\Infers.dll" target="lib\net451" />
    <file src="..\Libs\Infers\bin\Release\Infers.xml" target="lib\net451" />
    <file src="..\Libs\Infers.Rep\bin\Release\Infers.Rep.dll" target="lib\net451" />
    <file src="..\Libs\Infers.Rep\bin\Release\Infers.Rep.xml" target="lib\net451" />
  </files>
</package>
{'fraction_non_alphanumeric': 0.1333124215809285, 'fraction_numerical': 0.011292346298619825, 'mean_word_length': 3.669106881405564, 'pattern_counts': {'":': 0, '<': 87, '<?xml version=': 2, '>': 87, 'https://': 4, 'lorem ipsum': 0, 'www.': 0, 'xml': 6}, 'pii_count': 2, 'substrings_counts': 0, 'word_list_counts': {'cursed_substrings.json': 0, 'profanity_word_list.json': 0, 'sexual_word_list.json': 0, 'zh_pornsignals.json': 0}}
{'dir': 'git-commits-cleaned', 'id': '4634068', 'n_tokens_mistral': 1031, 'n_tokens_neox': 980, 'n_words': 280}