Details of this Paper

Haskell - Prove by induction the following properties of map;map (f. g) = map f. map g;map f...

Description

solution


Question

Haskell - Prove by induction the following properties of map;map (f. g) = map f. map g;map f. tail = tail. map f;map f. reverse = reverse. map f;map f. concat = concat. map (map f);map f (xs ++ ys) = map f xs ++ map f ys

 

Paper#71966 | Written in 18-Jul-2015

Price : $22
SiteLock