30 Oct
2008
30 Oct
'08
5:17 p.m.
Hello, This patch adds two arrow combinators which I have found useful: mapA (equivalent of map) and filterA (equivalent of filter). Thu Oct 30 16:50:02 GMT 2008 Peter Collingbourne <pcc03@doc.ic.ac.uk> * Added list operations for arrows Thanks, -- Peter