diff options
| author | William Carroll <wpcarro@gmail.com> | 2020-07-27T10·36+0100 |
|---|---|---|
| committer | William Carroll <wpcarro@gmail.com> | 2020-07-27T10·36+0100 |
| commit | dfe23e3b63ab61361fa34247abde006355f3914a (patch) | |
| tree | a07782d99fe901a6745bd9f4180540d37f1c1f70 /src/init.sql | |
| parent | 974c63a679de8975d7f6593f986d3acc47506a7d (diff) | |
Add instruction for operating the server
Add some basic commands for working with the server from within `ghci`, which is helpful when developing.
Diffstat (limited to 'src/init.sql')
0 files changed, 0 insertions, 0 deletions