From 3d469079ff41d373540927214cd197dbc6753bf3 Mon Sep 17 00:00:00 2001
From: Thomas Letan <lthms@soap.coffee>
Date: Fri, 14 Feb 2020 08:24:59 +0100
Subject: Fix spelling error

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

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

diff --git a/site/posts/StronglySpecifiedFunctions.v b/site/posts/StronglySpecifiedFunctions.v
index d2d05ac..6564413 100644
--- a/site/posts/StronglySpecifiedFunctions.v
+++ b/site/posts/StronglySpecifiedFunctions.v
@@ -3,7 +3,7 @@
 
 <p>
   This is the first article (initially published on <span class="time">January
-  11, 2015</span>) of a serie of two on how to write strongly-specified
+  11, 2015</span>) of a series of two on how to write strongly-specified
   functions in Coq. You can read the next part <a
   href="/posts/StronglySpecifiedFunctionsProgram">here</a>.
 </p>
-- 
cgit v1.2.3