9 Sep
2010
9 Sep
'10
1:14 a.m.
On Wed, Sep 8, 2010 at 6:55 AM, Duncan Coutts <duncan.coutts@googlemail.com>wrote:
I'd like us to proceed in a way that means we haven't still got Data.List.stripPrefix and Data.Text.prefixed in the HP in 3 years time.
Yes, they should be the same, one way or the other.
Well since there's an existing precedent, I changed the names in Data.Text to strip{Pre,Suf}fix.