Li-Fan Chen => YSITD: 教我證明 insert x ys »= (return . map f) = insert (f x) (map f ys) #5b4daa6c7396b006e3005af0

Li-Fan Chen says to YSITD

教我證明 insert x ys »= (return . map f) = insert (f x) (map f ys)

at Tue, Jul 17, 2018 4:35 PM