up and add
rm
	deleted:    abstraction_theorem.pdf
	deleted:    all_about_the_monads.pdf
	deleted:    comprehending_monads.pdf
	deleted:    theorems_for_free.pdf