diff options
Diffstat (limited to 'site/posts/MiniHTTPServer.v')
-rw-r--r-- | site/posts/MiniHTTPServer.v | 5 |
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. *) |