Revert "cps capitalize filename"

This reverts commit 6f9010c83f27208b6e99cd270ea8ec977e0e4ffd.

diff --git a/CPS_and_continuation_operators.mdwn b/cps_and_continuation_operators.mdwn
similarity index 100%
rename from CPS_and_continuation_operators.mdwn
rename to cps_and_continuation_operators.mdwn