On Sat, 2012-01-14 at 14:34 +0100, Tobias Nipkow wrote: > - If one of them is singled out as "fold", then it should be foldr, > not foldl [...]
This is correct, of course; also because foldr can be generalized to catamorphisms on arbitrary algebraic data types. In other words, foldr is the canonical fold. ;-) However, for clarity I would suggest to go with foldl/foldr rather than foldl/fold. Kind regards, Tjark _______________________________________________ isabelle-dev mailing list [email protected] https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
