643 prepare release of v300

eo-phi-normalizer/CHANGELOG.md

@@ -6,6 +6,25 @@ The format is based on [Keep a Changelog](https://keepachangelog.com/en/1.0.0/),
 and this project adheres to the
 [Haskell Package Versioning Policy](https://pvp.haskell.org/).
 
+## v3.0.0 - 2024-12-28
+
+### Breaking changes
+
+- Switch to built-in rules until `new.yaml` rules work ([#619](https://github.com/objectionary/eo-phi-normalizer/pull/619))
+- Update EO to 0.50.0, use `yegor.yaml` by default ([#617](https://github.com/objectionary/eo-phi-normalizer/pull/617), [#641](https://github.com/objectionary/eo-phi-normalizer/pull/641))
+
+### Changes and fixes
+
+- Rename `Normal form` to `NF` ([#627](https://github.com/objectionary/eo-phi-normalizer/pull/627))
+- Run CI on PRs to `develop` ([#638](https://github.com/objectionary/eo-phi-normalizer/pull/638))
+- Sort options in command help messages ([#642](https://github.com/objectionary/eo-phi-normalizer/pull/642))
+
+### Documentation and maintenance
+
+- Add quick start to the README ([#632](https://github.com/objectionary/eo-phi-normalizer/pull/632))
+- Remove the description of dataization ([#635](https://github.com/objectionary/eo-phi-normalizer/pull/635))
+- chore(deps): update baptiste0928/cargo-install action to v3.2.0 ([#640](https://github.com/objectionary/eo-phi-normalizer/pull/640))
+
 ## v2.3.0 - 2024-12-05
 
 ### Breaking changes

eo-phi-normalizer/eo-phi-normalizer.cabal

@@ -5,7 +5,7 @@ cabal-version: 1.24
 -- see: https://github.com/sol/hpack
 
 name:           eo-phi-normalizer
-version:        2.3.0
+version:        3.0.0
 synopsis:       Command line normalizer of 𝜑-calculus expressions.
 description:    Please see the README on GitHub at <https://github.com/objectionary/eo-phi-normalizer#readme>
 homepage:       https://github.com/objectionary/eo-phi-normalizer#readme
@@ -371,62 +371,24 @@ extra-source-files:
     data/0.49.4/org/eolang/while.phi
     data/0.50.0/dependencies.md
     data/0.50.0/org/eolang/bytes.phi
-    data/0.50.0/org/eolang/cti.phi
     data/0.50.0/org/eolang/dataized.phi
     data/0.50.0/org/eolang/error.phi
     data/0.50.0/org/eolang/false.phi
-    data/0.50.0/org/eolang/fs/dir.phi
-    data/0.50.0/org/eolang/fs/file.phi
-    data/0.50.0/org/eolang/fs/path.phi
-    data/0.50.0/org/eolang/fs/tmpdir.phi
-    data/0.50.0/org/eolang/go.phi
     data/0.50.0/org/eolang/i16.phi
     data/0.50.0/org/eolang/i32.phi
     data/0.50.0/org/eolang/i64.phi
-    data/0.50.0/org/eolang/io/bytes-as-input.phi
-    data/0.50.0/org/eolang/io/console.phi
     data/0.50.0/org/eolang/io/dead-input.phi
     data/0.50.0/org/eolang/io/dead-output.phi
-    data/0.50.0/org/eolang/io/input-length.phi
-    data/0.50.0/org/eolang/io/malloc-as-output.phi
-    data/0.50.0/org/eolang/io/stdin.phi
-    data/0.50.0/org/eolang/io/stdout.phi
-    data/0.50.0/org/eolang/io/tee-input.phi
-    data/0.50.0/org/eolang/malloc.phi
-    data/0.50.0/org/eolang/math/angle.phi
-    data/0.50.0/org/eolang/math/e.phi
-    data/0.50.0/org/eolang/math/integral.phi
-    data/0.50.0/org/eolang/math/numbers.phi
-    data/0.50.0/org/eolang/math/pi.phi
-    data/0.50.0/org/eolang/math/random.phi
-    data/0.50.0/org/eolang/math/real.phi
     data/0.50.0/org/eolang/nan.phi
     data/0.50.0/org/eolang/negative-infinity.phi
-    data/0.50.0/org/eolang/net/socket.phi
     data/0.50.0/org/eolang/number.phi
     data/0.50.0/org/eolang/positive-infinity.phi
     data/0.50.0/org/eolang/seq.phi
     data/0.50.0/org/eolang/string.phi
-    data/0.50.0/org/eolang/structs/bytes-as-array.phi
-    data/0.50.0/org/eolang/structs/hash-code-of.phi
-    data/0.50.0/org/eolang/structs/list.phi
-    data/0.50.0/org/eolang/structs/map.phi
-    data/0.50.0/org/eolang/structs/range-of-ints.phi
-    data/0.50.0/org/eolang/structs/range.phi
-    data/0.50.0/org/eolang/structs/set.phi
-    data/0.50.0/org/eolang/switch.phi
-    data/0.50.0/org/eolang/sys/getenv.phi
-    data/0.50.0/org/eolang/sys/line-separator.phi
-    data/0.50.0/org/eolang/sys/os.phi
-    data/0.50.0/org/eolang/sys/posix.phi
-    data/0.50.0/org/eolang/sys/win32.phi
     data/0.50.0/org/eolang/true.phi
     data/0.50.0/org/eolang/try.phi
     data/0.50.0/org/eolang/tuple.phi
-    data/0.50.0/org/eolang/txt/regex.phi
     data/0.50.0/org/eolang/txt/sprintf.phi
-    data/0.50.0/org/eolang/txt/sscanf.phi
-    data/0.50.0/org/eolang/txt/text.phi
     data/0.50.0/org/eolang/while.phi
     test/eo/phi/rules/new.yaml
     test/eo/phi/rules/streams.yaml

eo-phi-normalizer/package.yaml

@@ -22,7 +22,7 @@
 
 name: eo-phi-normalizer
 synopsis: "Command line normalizer of 𝜑-calculus expressions."
-version: 2.3.0
+version: 3.0.0
 github: "objectionary/eo-phi-normalizer"
 license: BSD3
 author: "EO/Polystat Development Team"

site/docs/src/installation.md

@@ -32,7 +32,7 @@ Use the necessary version in the `stack install` command.
 ```sh
 stack update
 export LC_ALL=C.UTF-8
-stack install --resolver lts-22.16 eo-phi-normalizer-2.3.0
+stack install --resolver lts-22.16 eo-phi-normalizer-3.0.0
 ```
 
 ## Update `eo-phi-normalizer`