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 | |
parent | Rework StronglySpecifiedFunctionsProgram.v (diff) |
Change the date format
Diffstat (limited to 'site')
-rw-r--r-- | site/posts/Ltac101.v | 3 | ||||
-rw-r--r-- | site/posts/RewritingInCoq.v | 3 | ||||
-rw-r--r-- | site/posts/StronglySpecifiedFunctions.v | 3 | ||||
-rw-r--r-- | site/posts/StronglySpecifiedFunctionsProgram.v | 10 | ||||
-rw-r--r-- | site/posts/extensible-type-safe-error-handling.org | 3 | ||||
-rw-r--r-- | site/posts/index.html | 4 | ||||
-rw-r--r-- | site/posts/lisp-journey-getting-started.org | 3 | ||||
-rw-r--r-- | site/posts/monad-transformers.org | 3 | ||||
-rw-r--r-- | site/style/main.css | 21 |
9 files changed, 25 insertions, 28 deletions
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 diff --git a/site/style/main.css b/site/style/main.css index aadd9b0..2f405e2 100644 --- a/site/style/main.css +++ b/site/style/main.css @@ -71,23 +71,16 @@ body#default .paragraph { /* index */ -ul#index { - list-style-type: none; - padding-left: 0; - color: #51415C; +dl#index { + padding-top: 2em; + padding-bottom: 2em; } -ul#index li { - display: flex; - flex-direction: row; - align-items: first baseline; -} - -ul#index .date { - font-family: 'Fira Code', monospace; +dl#index dd { + margin-top: .2em; font-size: 80%; - margin-right: 1em; - + margin-left: 0px; + margin-bottom: 1em; } ul#index .title { |