
23 Jan
2011
23 Jan
'11
1:47 p.m.
On 01/23/2011 06:48 PM, Max Rabkin wrote:
On Sun, Jan 23, 2011 at 12:35, Steffen Schuldenzucker
wrote: Hi,
some time ago I read of a small tool that extracts lines like "GHCi> some_expression" from a source file and appends GHCi's output to them. Now I can't find it again. Does anyone remember its name?
No, but I can guess (it's the same as the Python original, modulo capitalisation):
Exactly what I was looking for, thanks.