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/Ltac101.v                               |  3 ++-
 site/posts/RewritingInCoq.v                        |  3 ++-
 site/posts/StronglySpecifiedFunctions.v            |  3 ++-
 site/posts/StronglySpecifiedFunctionsProgram.v     | 10 ++++------
 site/posts/extensible-type-safe-error-handling.org |  3 ++-
 site/posts/index.html                              |  4 ++--
 site/posts/lisp-journey-getting-started.org        |  3 ++-
 site/posts/monad-transformers.org                  |  3 ++-
 8 files changed, 18 insertions(+), 14 deletions(-)

(limited to 'site/posts')

diff --git a/site/posts/Ltac101.v b/site/posts/Ltac101.v
index a9d4d68..ebf3566 100644
--- a/site/posts/Ltac101.v
+++ b/site/posts/Ltac101.v
@@ -1,6 +1,7 @@
 (** #
 <h1>Ltac 101</h1>
-<time datetime="2017-10-16">2017-10-16</time>
+
+<span class="time">October 16, 2017</span>
     # *)
 
 (** In this article, I give an overview of my findings about the Ltac language,
diff --git a/site/posts/RewritingInCoq.v b/site/posts/RewritingInCoq.v
index 5ebf6c6..542190c 100644
--- a/site/posts/RewritingInCoq.v
+++ b/site/posts/RewritingInCoq.v
@@ -1,6 +1,7 @@
 (** #
 <h1>Rewriting in Coq</h1>
-<time datetime="2017-05-13">2017-05-13</time>
+
+<span class="time">May 13, 2017</span>
     # *)
 
 (** I have to confess something. In the published codebase of SpecCert lies a
diff --git a/site/posts/StronglySpecifiedFunctions.v b/site/posts/StronglySpecifiedFunctions.v
index 9aceb67..d241c26 100644
--- a/site/posts/StronglySpecifiedFunctions.v
+++ b/site/posts/StronglySpecifiedFunctions.v
@@ -1,6 +1,7 @@
 (** #
 <h1>Strongly-Specified Functions in Coq with the <code>refine</code> Tactic</h1>
-<time datetime="2015-07-11">2015-07-11</time>
+
+<span class="time">January 11, 2015</span>
     # *)
 
 (** I started to play with Coq, the interactive theorem prover
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># *)
 
diff --git a/site/posts/extensible-type-safe-error-handling.org b/site/posts/extensible-type-safe-error-handling.org
index 115b3e8..9164bc2 100644
--- a/site/posts/extensible-type-safe-error-handling.org
+++ b/site/posts/extensible-type-safe-error-handling.org
@@ -1,6 +1,7 @@
 #+BEGIN_EXPORT html
 <h1>Extensible Type-Safe Error Handling in Haskell</h1>
-<time datetime="2018-02-04">2018-02-04</time>
+
+<span class="time">February 04, 2018</span>
 #+END_EXPORT
 
 #+OPTIONS: toc:nil
diff --git a/site/posts/index.html b/site/posts/index.html
index 4cf073e..fce046b 100644
--- a/site/posts/index.html
+++ b/site/posts/index.html
@@ -9,8 +9,8 @@
     Haskell.
   </p>
 
-  <ul id="index">
-  </ul>
+  <dl id="index">
+  </dl>
 
   <p>
     If you like what you read, have a question or for any other reasons really,
diff --git a/site/posts/lisp-journey-getting-started.org b/site/posts/lisp-journey-getting-started.org
index 3d8a6c1..a198c3d 100644
--- a/site/posts/lisp-journey-getting-started.org
+++ b/site/posts/lisp-journey-getting-started.org
@@ -1,6 +1,7 @@
 #+BEGIN_EXPORT html
 <h1>Discovering Common Lisp with <code>trivial-gamekit</code></h1>
-<time datetime="2018-06-17">2018-06-17</time>
+
+<span class="time">June 17, 2018</span>
 #+END_EXPORT
 
 
diff --git a/site/posts/monad-transformers.org b/site/posts/monad-transformers.org
index de29053..e94f07d 100644
--- a/site/posts/monad-transformers.org
+++ b/site/posts/monad-transformers.org
@@ -1,6 +1,7 @@
 #+BEGIN_EXPORT html
 <h1>Monad Transformers are a Great Abstraction</h1>
-<time datetime="2017-07-15">2017-07-15</time>
+
+<span class="time">July 15, 2017</span>
 #+END_EXPORT
 
 #+OPTIONS: toc:nil
-- 
cgit v1.2.3