Add changelog entry

input-output-hk · Nov 30, 2021 · cb48b20 · cb48b20
1 parent c628ac0
commit cb48b20
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/CHANGELOG.md b/CHANGELOG.md
@@ -2,3 +2,5 @@ Start – version 0.0.0.0
 =======================
 
   * Document the usage of the next-generation equivalence reasoner
+
+  * Implement the next-generation equivalence reasoner