aboutsummaryrefslogtreecommitdiff
path: root/src
Commit message (Expand)AuthorAge
* Flush stdoutTom Smeding2022-10-14
* Replace newlines with ; insteadTom Smeding2022-06-27
* Allow debug prints for ghci interaction (when statically enabled)Tom Smeding2022-06-27
* Less loggingTom Smeding2022-06-15
* TimeoutTom Smeding2022-06-14
* Early-catch large show output with -interactive-printTom Smeding2022-06-14
* Main that also allows direct ghci accessTom Smeding2022-06-14
* More loggingTom Smeding2022-06-14
* InitialTom Smeding2022-06-14