From 9deffb848b67c1eb9c79cd44ddcb6e675815cacd Mon Sep 17 00:00:00 2001
From: Julien Moutinho <julm@sourcephile.fr>
Date: Wed, 25 Jan 2023 01:56:13 +0100
Subject: [PATCH] doc: update `ChangeLog.md`

---
 ChangeLog.md        | 38 ++++++++++++++++++++++++++++++++++++++
 symantic-base.cabal |  2 +-
 2 files changed, 39 insertions(+), 1 deletion(-)

diff --git a/ChangeLog.md b/ChangeLog.md
index 23c13d4..829b8e6 100644
--- a/ChangeLog.md
+++ b/ChangeLog.md
@@ -1,4 +1,42 @@
 
+## symantic-base-0.5.0.20221211 (2022-12-10)
+
+### Interface
+
+* Add `Endpoint`.
+* Add syntax for `either`.
+* Add syntax `IfSemantic`.
+* Add interpreter `Reader`.
+* Fix export of `ADT`.
+* Fix gather in submodules.
+* Move `(.@)` into `Unabstractable`.
+* Remove syntax `Routable`.
+* Remove `option`, only `optional` is correct.
+* Replace `adt` by `dataType`, and support `TuplesOfFunctions`.
+
+### Documentation
+
+* Fix remaining `<:>` to `<.>`.
+* Fix typos in comments.
+* Update `ChangeLog.md`.
+* Update public presence.
+
+### Implementation
+
+* Fix deprecated `StarIsType`.
+* Gather in submodules.
+* Rename module `ADT` to `EithersOfTuples`.
+* Rename type variable `repr` to `sem`.
+
+### Build
+
+* Check that the build before tagging.
+* Ignore `.pre-commit-config.yaml`.
+* Improve `ghcid` support.
+* Improve `flake.nix`.
+* Update nix input `nixpkgs`.
+
+
 ## symantic-base-0.5.0.20221122 (2022-11-23)
 
 ### Interface
diff --git a/symantic-base.cabal b/symantic-base.cabal
index ac16ad3..96eea13 100644
--- a/symantic-base.cabal
+++ b/symantic-base.cabal
@@ -11,7 +11,7 @@ license-file:       LICENSES/AGPL-3.0-or-later.txt
 -- PVP:  +-+------- breaking API changes
 --       | | +----- non-breaking API additions
 --       | | | +--- code changes with no API change
-version:            0.5.0.20221122
+version:            0.5.0.20221211
 stability:          experimental
 category:           Data Structures
 synopsis:
-- 
2.47.2