Posts about Lists RSS feed 19-08-2024Equivalence of reverse definitions 14-08-2024Proofs of take n xs ++ drop n xs = xs 07-08-2024Proofs of the equality length(xs ++ ys) = length(xs) + length(ys)