On 11/03/2013 07:38 PM, Adam Chlipala wrote:
[Top.map2] is for records, not lists, so it wouldn't have done what you want anyway. I've added your function (generalized in the usual polymorphic way) to the standard library as [ListPair.map2].
...and later I realized that [ListPair.map2] is a redundant name, so I've changed it to [ListPair.mp].
_______________________________________________ Ur mailing list [email protected] http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
