User contributions
Jump to navigation
Jump to search
- 11:22, 7 July 2011 diff hist -17 m Foldr Foldl Foldl' removed redundant nowiki tag