diff options
| author | Thomas Letan <lthms@soap.coffee> | 2020-02-04 22:15:45 +0100 |
|---|---|---|
| committer | Thomas Letan <lthms@soap.coffee> | 2020-02-04 22:15:45 +0100 |
| commit | 1f851ca9f2b400b5f7ca4d6a10c15fa734b86a17 (patch) | |
| tree | 1860d41cf4e307cf1cbf872f335a4ca1b422392e /site/posts/StronglySpecifiedFunctionsProgram.v | |
| parent | Rework StronglySpecifiedFunctionsProgram.v (diff) | |
Change the date format
Diffstat (limited to 'site/posts/StronglySpecifiedFunctionsProgram.v')
| -rw-r--r-- | site/posts/StronglySpecifiedFunctionsProgram.v | 10 |
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># *) |