summaryrefslogtreecommitdiffstats
path: root/site/posts/MiniHTTPServer.v
diff options
context:
space:
mode:
authorThomas Letan <lthms@soap.coffee>2020-02-19 17:21:05 +0100
committerThomas Letan <lthms@soap.coffee>2020-02-19 17:21:05 +0100
commit7171020c9fafd0631a370bf70d927843bd893c02 (patch)
treed39c2307e09b0f797d7a94db6d88088b58eb20a3 /site/posts/MiniHTTPServer.v
parentc87e51b9ff0d539dc5cb0bf1f8afafebd25efb5e (diff)
Use the correct font for interfaces in the titles
Diffstat (limited to 'site/posts/MiniHTTPServer.v')
-rw-r--r--site/posts/MiniHTTPServer.v6
1 files changed, 3 insertions, 3 deletions
diff --git a/site/posts/MiniHTTPServer.v b/site/posts/MiniHTTPServer.v
index 79d6dc1..075d5c8 100644
--- a/site/posts/MiniHTTPServer.v
+++ b/site/posts/MiniHTTPServer.v
@@ -53,7 +53,7 @@ From FreeSpec Require Import Core.
defining indendent primitives as part of different interfaces. In our case,
this means we will have three different interfaces. *)
-(** **** The TCP Interface *)
+(** **** The [TCP] Interface *)
(** We first consider the interface which will allows us to interact with TCP
sockets. The related primitives will rely on socket _descriptors_, whose
@@ -163,7 +163,7 @@ Definition close_socket `{Provide ix TCP}
: impure ix unit :=
request (CloseTCPSocket socket).
-(** **** The FILESYSTEM Interface *)
+(** **** The [FILESYSTEM] Interface *)
(** We provide a similar description of the [FILESYSEM] interface, and define
the basic impure computations that we will then leverage to use it (thanks
@@ -197,7 +197,7 @@ Definition read `{Provide ix FILESYSTEM}
: impure ix bytes :=
request (Read fd).
-(** **** The CONSOLE Interface *)
+(** **** The [CONSOLE] Interface *)
(** Finally, FreeSpec already provides a few generic interfaces for FreeSpec
users, including a [CONSOLE] interface: