3 ms·
I always quit GHCi with Ctrl-D. I don't even know how else one is supposed to. Is there some setting that changes it?
by marcosdumay 2y ago
I always quit GHCi with Ctrl-D. I don't even know how else one is supposed to.
Is there some setting that changes it?