Is there a good introduction to

1.) Tensor (co)algebras on graded vector spaces ?

2.) Tensor (co)algebras on graded modules ?

In the research field of $L_\infty$-algebras there is some stuff, but nothing I know is a comprehensive introduction, including proofs.