diff options
| author | William Carroll <wpcarro@gmail.com> | 2020-08-13T19·53+0100 |
|---|---|---|
| committer | William Carroll <wpcarro@gmail.com> | 2020-08-20T10·26+0100 |
| commit | 5fd79ce0ffd27f860d754edf398895c1f84a8e0b (patch) | |
| tree | f263c22cfe5d0870c8edebcf28b6c32efa25cc31 /website/sandbox/shift-time/.ghci | |
| parent | 81aa32fe71a0b8a822673b36a2ded9a427855286 (diff) | |
Support parsing second shifts
Parse inputs like -10s into 10 second shifts back in time.
Diffstat (limited to 'website/sandbox/shift-time/.ghci')
| -rw-r--r-- | website/sandbox/shift-time/.ghci | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/website/sandbox/shift-time/.ghci b/website/sandbox/shift-time/.ghci new file mode 100644 index 000000000000..d899113e92d2 --- /dev/null +++ b/website/sandbox/shift-time/.ghci @@ -0,0 +1,3 @@ +:set prompt "> " +:set -Wall +:set -XOverloadedStrings |