diff options
| author | William Carroll <wpcarro@gmail.com> | 2020-08-13T21·05+0100 |
|---|---|---|
| committer | William Carroll <wpcarro@gmail.com> | 2020-08-20T10·26+0100 |
| commit | 3fdfa14355088af602877153b49a85a5941fe879 (patch) | |
| tree | 3ea0c6abe846a687b268f42931ce6f478302e571 /website/sandbox/shift-time/.ghci | |
| parent | 5fd79ce0ffd27f860d754edf398895c1f84a8e0b (diff) | |
Support parsing and shifting time
TL;DR: - Adds string-conversions library - Adds tests for remaining units and repeating requests - Adds a REPL in main
Diffstat (limited to 'website/sandbox/shift-time/.ghci')
| -rw-r--r-- | website/sandbox/shift-time/.ghci | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/website/sandbox/shift-time/.ghci b/website/sandbox/shift-time/.ghci index d899113e92d2..19a1e8f5ec3f 100644 --- a/website/sandbox/shift-time/.ghci +++ b/website/sandbox/shift-time/.ghci @@ -1,3 +1,4 @@ :set prompt "> " :set -Wall :set -XOverloadedStrings +:set -XRecordWildCards |