From 8b2a2f0833568bfbc935fefee40c90dc488cefe0 Mon Sep 17 00:00:00 2001
From: wricciot <38498442+wricciot@users.noreply.github.com>
Date: Tue, 3 Oct 2023 00:08:03 +0100
Subject: [PATCH] Update CHANGES.md

---
 CHANGES.md | 9 +++++++++
 1 file changed, 9 insertions(+)

diff --git a/CHANGES.md b/CHANGES.md
index 002fc8510..09932509f 100644
--- a/CHANGES.md
+++ b/CHANGES.md
@@ -1,6 +1,15 @@
 # Unreleased
 
 List of changes since the latest release.
+
+## Queries mixing set and bag semantics
+Links now provides experimental support for SQL queries with grouping and aggregation. These require the _mixing_ normaliser (`mixing_norm=on` in the configuration file).
+
+The result of grouping over a relation is represented as a finite map, which in Links is treated as a list of (grouping key, associated subrelation) pairs. Aggregation can then be applied groupwise to a finite map to obtain again a relation. Such Links queries are translated to SQL queries using `group by` and aggregates.
+
+Further information on this feature is provided in the [Links GitHub wiki](https://github.com/links-lang/links/wiki/Grouping-and-aggregation).
+
+## Other fixes/miscellaneous
 * The package `links-mysql`, based on the `mysql` opam package is no
   longer supported. Instead, the package `links-mysql8`, based on the
   `mysql8` package is provided, which also supports version of MySQL