Closed mitchmindtree closed 1 year ago
This adds an option for automatically running sclang in a terminal alongside tidal's GHCI terminal instance (disabled by default).
sclang
See the new README section for details on the behaviour of this new terminal and how it can be configured.
Note: this PR will likely conflict with #77 but I'll rebase when the time comes.
This adds an option for automatically running
sclang
in a terminal alongside tidal's GHCI terminal instance (disabled by default).See the new README section for details on the behaviour of this new terminal and how it can be configured.
Note: this PR will likely conflict with #77 but I'll rebase when the time comes.