summaryrefslogtreecommitdiffstats
path: root/site/posts/MiniHTTPServer.v
diff options
context:
space:
mode:
authorThomas Letan <lthms@soap.coffee>2020-02-16 22:35:11 +0100
committerThomas Letan <lthms@soap.coffee>2020-02-16 22:35:11 +0100
commitb47ee36ceab517ba84234bf09e3bb01035450a9a (patch)
tree9d5cad60ba02a7a724f3c660f3b91e781bf0676d /site/posts/MiniHTTPServer.v
parent25e6a8c049dbc19ac752dda5995929695a1e10f1 (diff)
Automatically generate a revision table from git history
Diffstat (limited to 'site/posts/MiniHTTPServer.v')
-rw-r--r--site/posts/MiniHTTPServer.v5
1 files changed, 4 insertions, 1 deletions
diff --git a/site/posts/MiniHTTPServer.v b/site/posts/MiniHTTPServer.v
index ee6b572..e944075 100644
--- a/site/posts/MiniHTTPServer.v
+++ b/site/posts/MiniHTTPServer.v
@@ -1,6 +1,7 @@
(** #<h1>Implementing and Certifying a Web Server in Coq</h1># *)
-(** #<span class="time">February 02, 2020</span># *)
+(** This article has originally been published on #<span class="time">February
+02, 2020</span>#. *)
(** FreeSpec is a general-purpose framework for implementing (with a Free monad)
and certifying (with contracts) impure computations. In this tutorial, we
@@ -11,6 +12,8 @@
#<div id="generate-toc"></div>#
+ #<div id="history">site/posts/MiniHTTPServer.v</div>#
+
The [FreeSpec.Core] module reexports the key component provided by
FreeSpec. *)