22 Jan
2013
22 Jan
'13
5:22 a.m.
On Tue, Jan 22, 2013 at 4:18 AM, Brent Yorgey <byorgey@seas.upenn.edu>wrote:
Unfortunately I do not know of a nice way to capture ghci output.
Many of us use an emacs workflow (ghci inside an emacs shell) so output automatically gets captured in a buffer. -- Kim-Ee