From 78999d0edb0778a85cee54cd7a2feca6c635eccf Mon Sep 17 00:00:00 2001 From: jim Date: Mon, 23 Mar 2015 19:56:24 -0400 Subject: [PATCH] rename topics/_week7_interpreter_exposition.mdwn to topics/week7_untyped_evaluator.mdwn --- .../{_week7_interpreter_exposition.mdwn => week7_untyped_evaluator.mdwn} | 0 1 file changed, 0 insertions(+), 0 deletions(-) rename topics/{_week7_interpreter_exposition.mdwn => week7_untyped_evaluator.mdwn} (100%) diff --git a/topics/_week7_interpreter_exposition.mdwn b/topics/week7_untyped_evaluator.mdwn similarity index 100% rename from topics/_week7_interpreter_exposition.mdwn rename to topics/week7_untyped_evaluator.mdwn -- 2.11.0