summaryrefslogtreecommitdiffstats
path: root/site/posts/StronglySpecifiedFunctionsProgram.v
diff options
context:
space:
mode:
authorThomas Letan <lthms@soap.coffee>2020-02-04 22:15:45 +0100
committerThomas Letan <lthms@soap.coffee>2020-02-04 22:15:45 +0100
commit1f851ca9f2b400b5f7ca4d6a10c15fa734b86a17 (patch)
tree1860d41cf4e307cf1cbf872f335a4ca1b422392e /site/posts/StronglySpecifiedFunctionsProgram.v
parentcdba2c81167350e5191a3518af12e8961732acf3 (diff)
Change the date format
Diffstat (limited to 'site/posts/StronglySpecifiedFunctionsProgram.v')
-rw-r--r--site/posts/StronglySpecifiedFunctionsProgram.v10
1 files changed, 4 insertions, 6 deletions
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># *)