
22 Nov
2014
22 Nov
'14
8:16 a.m.
On Sat, Nov 22, 2014 at 10:49:18AM +0000, Ross Paterson wrote:
-- Construct a fingertree from the first n elements of xs. -- The arguments must satisfy n <= length xs && rev_xs = reverse xs. -- Each element of xs has the same size, provided as an argument.
Sorry, that should read: -- The arguments must satisfy n <= length xs && take n rev_xs = reverse (take n xs).