update some slides
fix fold -> foldr