v0.3.0

In this version the main executable has been renamed to normalizer
and several commands have been implemented for normalization, dataization,
and reporting.

New:

• Command Line Interface:
  • Add commands:
    • normalizer transform to perform normalization without executing any atoms (was default behavior before)
    • normalizer metrics to compute metrics of a given φ-expression (see #153)
    • normalizer dataize to run partial evaluation of φ-expressions with atoms (see #187)
    • normalizer report to generate report based on the results of testing against the EO compiler (see #213)
  • Add --single flag (see #131)
  • Add --json flag for machine-readable output format (see #143)
  • Add --max-depth=N and --max-term-size=N options to control limits for the normalizer (see #173)
  • Improve --chain option to provide better elaboration on the applied normalization rules and the dataization process (see #195)
• Update rule set for φ-calculus (see #152 and some changes in #136 and #166)
• Add property-based and regression tests for confluence (see #136 and #166)
• Tests and metrics against the EO compiler and standard EO test suite (see #98, #191)

Fixes:

• Count metrics, including dataless objects, correctly (see #142, #193, #211)
• Fix metavariables in context patterns (see #174)
• Support empty Δ-bindings (see #184)

Documentation has been improved (see #134, #221).

Maintenance:

• Run CI on all pull requests (see #156)
• Downgrade Stackage snapshot (see #146)
• Add HLint to CI (see #157)

What's Changed (generated notes)

• fix: disable the pipeline job by @deemp in #133
• fix: print program by @deemp in #131
• chore(deps): update dependency pre-commit to v3.6.2 by @renovate in #141
• fix: downgrade resolver by @deemp in #146
• 130 update readme and site by @deemp in #134
• 138 fix the metric for dataless formations by @deemp in #142
• feat: support json output by @deemp in #143
• fix: run CI for all PRs by @deemp in #156
• 148 add static analysis tools to ci by @deemp in #157
• Fix rule 1 by @deemp in #152
• Confluence testing by @aabounegm in #136
• Refactor CLI and docs by @deemp in #153
• Improve confluence tests by @fizruk in #166
• Add a CLI arguments for maximum application depth and growth factor by @aabounegm in #173
• Apply substs from Phi and Ksi on current attribute by @aabounegm in #174
• Add support for Delta bindings with no value by @aabounegm in #184
• Test against EO compiler by @deemp in #98
• 190 fix scripts/try-unphi.sh by @deemp in #191
• Dataization by @aabounegm in #187
• Fix metrics by @deemp in #193
• Refactor CLI and metrics by @deemp in #211
• 208 support metrics report generation by @deemp in #212
• Elaboration by @aabounegm in #195
• 208 support metrics report generation by @deemp in #213
• chore(deps): update dependency pre-commit to v3.7.0 by @renovate in #219
• 220 support mathjax on the site by @deemp in #221
• fix(vscode settings): use external fourmolu by @deemp in #215
• Release v0.3.0 by @fizruk in #223

Full Changelog: v0.2.0...v0.3.0