wip

LPCIC · Nov 14, 2024 · b697b80 · b697b80
1 parent 295817b
commit b697b80
Showing 1 changed file with 6 additions and 0 deletions.
diff --git a/Changelog.md b/Changelog.md
@@ -1,5 +1,11 @@
 # Development version
 
+### Vernacular
+- `Elpi Accumulate Db Header <db>` to accumulate just the `Db` declaration
+  but no code added after that
+- `Elpi Typecheck` is deprecated and is a no-op since `Elpi Accumulate`
+  performs type checking incrementally
+
 ### Build system
 - Support dune workspace build with `elpi`