From a57131771bf2f69f35614eb4b41cc43bf00540a2 Mon Sep 17 00:00:00 2001 From: Chris Date: Wed, 13 May 2015 13:29:01 -0400 Subject: [PATCH] movements --- topics/_cps.mdwn | 3 --- topics/_cps_and_continuation_operators.mdwn | 2 -- ...nuation_applications.mdwn => week15_continuation_applications.mdwn} | 0 3 files changed, 5 deletions(-) delete mode 100644 topics/_cps.mdwn delete mode 100644 topics/_cps_and_continuation_operators.mdwn rename topics/{_week15_continuation_applications.mdwn => week15_continuation_applications.mdwn} (100%) diff --git a/topics/_cps.mdwn b/topics/_cps.mdwn deleted file mode 100644 index 125bc3a3..00000000 --- a/topics/_cps.mdwn +++ /dev/null @@ -1,3 +0,0 @@ -**Note to Chris**: [[don't forget this material to be merged in somehow|/topics/_cps_and_continuation_operators]]. I marked where I cut some material to put into week13_control_operators, but that page is still a work in progress in my browser... - - diff --git a/topics/_cps_and_continuation_operators.mdwn b/topics/_cps_and_continuation_operators.mdwn deleted file mode 100644 index f09f336f..00000000 --- a/topics/_cps_and_continuation_operators.mdwn +++ /dev/null @@ -1,2 +0,0 @@ -[[!toc]] - diff --git a/topics/_week15_continuation_applications.mdwn b/topics/week15_continuation_applications.mdwn similarity index 100% rename from topics/_week15_continuation_applications.mdwn rename to topics/week15_continuation_applications.mdwn -- 2.11.0