From 751a595dd3d38abc2efc4620a12e90adfe4b828b Mon Sep 17 00:00:00 2001
From: Thomas Letan <lthms@soap.coffee>
Date: Fri, 30 Oct 2020 16:50:19 +0100
Subject: =?UTF-8?q?Reword=20the=20titles=20of=20the=20=E2=80=9CStrongly-Sp?=
 =?UTF-8?q?ecified=20Functions=E2=80=9D=E2=80=99s=20articles?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

---
 site/posts/StronglySpecifiedFunctionsProgram.v | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'site/posts/StronglySpecifiedFunctionsProgram.v')

diff --git a/site/posts/StronglySpecifiedFunctionsProgram.v b/site/posts/StronglySpecifiedFunctionsProgram.v
index 8ffb70c..1b4ab5f 100644
--- a/site/posts/StronglySpecifiedFunctionsProgram.v
+++ b/site/posts/StronglySpecifiedFunctionsProgram.v
@@ -1,4 +1,4 @@
-(** * Strongly-Specified Functions in Coq, part 2: the <<Program>> Framework
+(** * Implementing Strongly-Specified Functions with the <<Program>> Framework
 
     This is the second article (initially published on #<span
     id="original-created-at">January 01, 2017</span>#) of a series of two on how
-- 
cgit v1.2.3