Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | Pick latest GHC if availableHEADmaster | Tom Smeding | 2024-09-16 |
| | |||
* | Some extra debug prints | Tom Smeding | 2024-09-16 |
| | |||
* | Vendor in irc-client | Tom Smeding | 2023-10-15 |
| | | | | | | | Also: - Make irc-client decode incoming UTF8 leniently - Remove some redundant imports - Switch to GHC 9.4.7 | ||
* | Ignore lambdabot | Tom Smeding | 2023-10-02 |
| | | | | | Lambdabot also ignores yahb2; this is all to prevent accidental (or not so accidental) loops | ||
* | Separate reply message for :q | Tom Smeding | 2023-09-12 |
| | |||
* | Add Nat to initial ghci environment for lols | Tom Smeding | 2023-04-22 |
| | |||
* | Long ghc diagnostics are long, need to read them whole | Tom Smeding | 2023-02-14 |
| | |||
* | Paste | Tom Smeding | 2022-12-03 |
| | |||
* | Remove some of the re-restarting logic, useless | Tom Smeding | 2022-11-02 |
| | |||
* | Also join #haskell-offtopic | Tom Smeding | 2022-11-02 |
| | |||
* | Add commented-out stdoutLogger implementation | Tom Smeding | 2022-11-02 |
| | |||
* | Flush stdout more | Tom Smeding | 2022-11-02 |
| | |||
* | Proper target for irc responses | Tom Smeding | 2022-10-14 |
| | |||
* | Flush stdout | Tom Smeding | 2022-10-14 |
| | |||
* | start.sh: mkdir /tmp | Tom Smeding | 2022-10-14 |
| | | | | | This solves an error that GHC can't create /tmp/ghc_4_0 or something. Not sure why I didn't get that before? | ||
* | Replace newlines with ; instead | Tom Smeding | 2022-06-27 |
| | | | | Request from geekosaur, original yahb did that too | ||
* | Allow debug prints for ghci interaction (when statically enabled) | Tom Smeding | 2022-06-27 |
| | |||
* | Less logging | Tom Smeding | 2022-06-15 |
| | |||
* | Limit disk usage | Tom Smeding | 2022-06-14 |
| | |||
* | Timeout | Tom Smeding | 2022-06-14 |
| | |||
* | Cleanup in start.sh | Tom Smeding | 2022-06-14 |
| | |||
* | Early-catch large show output with -interactive-print | Tom Smeding | 2022-06-14 |
| | |||
* | Set memory limit to 500MiB | Tom Smeding | 2022-06-14 |
| | |||
* | Main that also allows direct ghci access | Tom Smeding | 2022-06-14 |
| | |||
* | More logging | Tom Smeding | 2022-06-14 |
| | |||
* | Initial | Tom Smeding | 2022-06-14 |