From a2d55731fdf2c3bfd361d5e7e19fb21b6dcc4f8a Mon Sep 17 00:00:00 2001
From: Jacques-Henri Jourdan <jacques-henri.jourdan@normalesup.org>
Date: Thu, 4 Oct 2018 19:45:18 +0200
Subject: [PATCH] Changelog

---
 CHANGELOG.md | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/CHANGELOG.md b/CHANGELOG.md
index 2fe145928..2c2be5662 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -22,6 +22,8 @@ Changes in and extensions of the theory:
   functions.
 * [#] Add atomic updates and logically atomic triples, including tactic support.
   See `heap_lang/lib/increment.v` for an example.
+* [#] HeapLang now uses right-to-left evaluation order. This makes easier to
+  write specifications of curried functions.
 
 Changes in Coq:
 
-- 
GitLab