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? Thanks. Steffen