Update CHANGES.md

LPCIC · Jan 12, 2024 · e067f06 · e067f06
1 parent e5c6732
commit e067f06
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/CHANGES.md b/CHANGES.md
@@ -2,6 +2,10 @@
 
 Requires Menhir 20211230 and OCaml 4.08 or above.
 
+Language:
+  - Change indexing for multiple arguments is now based on discrimination trees
+  - Change `:index` acecpts an optional string to force `"Hash"` based indexing
+
 API:
   - Change `clause_of_term` accepts a ``` `Replace ``` grafting directive