From dfe23e3b63ab61361fa34247abde006355f3914a Mon Sep 17 00:00:00 2001
From: William Carroll <wpcarro@gmail.com>
Date: Mon, 27 Jul 2020 11:36:09 +0100
Subject: [PATCH] Add instruction for operating the server

Add some basic commands for working with the server from within `ghci`, which is
helpful when developing.
---
 README.md | 23 +++++++++++++++++++++++
 1 file changed, 23 insertions(+)

diff --git a/README.md b/README.md
index e6d20d649..2e5f2f18d 100644
--- a/README.md
+++ b/README.md
@@ -3,6 +3,29 @@
 All of the commands defined herein should be run from the top-level directory of
 this repository (i.e. the directory in which this file exists).
 
+## Server
+
+To create the environment that contains all of this application's dependencies,
+run:
+
+```shell
+$ nix-shell
+```
+
+To run the server interactively, run:
+
+```shell
+$ cd src/
+$ ghci
+```
+
+Now compile and load the server with:
+
+```
+Prelude> :l Main.hs
+*Main> main
+```
+
 ## Database
 
 Create a new database named `db.sqlite3` with: