From 1f851ca9f2b400b5f7ca4d6a10c15fa734b86a17 Mon Sep 17 00:00:00 2001
From: Thomas Letan <lthms@soap.coffee>
Date: Tue, 4 Feb 2020 22:15:45 +0100
Subject: Change the date format

---
 site/posts/StronglySpecifiedFunctionsProgram.v | 10 ++++------
 1 file changed, 4 insertions(+), 6 deletions(-)

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

diff --git a/site/posts/StronglySpecifiedFunctionsProgram.v b/site/posts/StronglySpecifiedFunctionsProgram.v
index 78ccefb..122a9ef 100644
--- a/site/posts/StronglySpecifiedFunctionsProgram.v
+++ b/site/posts/StronglySpecifiedFunctionsProgram.v
@@ -1,12 +1,10 @@
 (** #
 <h1>Strongly-Specified Functions in Coq with the <code>Program</code> Framework</h1>
+# *)
 
-<p>
-This blogpost was initially published on <time
-datetime="2017-01-14">2017-01-14</time>, and as later been heavily rewritten in
-late 2019.
-</p>
-    # *)
+(** This blogpost was initially published on #<span class="time">
+    January 01, 2017</span>#, and as later been heavily rewritten in
+    late 2019. *)
 
 (** #<div id="generate-toc"></div># *)
 
-- 
cgit v1.2.3