diff options
| author | Thomas Letan <lthms@soap.coffee> | 2020-02-19 17:21:05 +0100 |
|---|---|---|
| committer | Thomas Letan <lthms@soap.coffee> | 2020-02-19 17:21:05 +0100 |
| commit | 7171020c9fafd0631a370bf70d927843bd893c02 (patch) | |
| tree | d39c2307e09b0f797d7a94db6d88088b58eb20a3 /site | |
| parent | Rework the Makefiles for a cleaner handling of generated scripts (diff) | |
Use the correct font for interfaces in the titles
Diffstat (limited to 'site')
| -rw-r--r-- | site/posts/MiniHTTPServer.v | 6 |
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: |