From 340e045ffdf3ebf60771af2d74d0bafe9eb08283 Mon Sep 17 00:00:00 2001 From: jim Date: Mon, 2 Mar 2015 11:35:08 -0500 Subject: [PATCH] rename topics/_week5_simply_typed_lambda.mdwn to topics/week5_simply_typed.mdwn --- topics/{_week5_simply_typed_lambda.mdwn => week5_simply_typed.mdwn} | 0 1 file changed, 0 insertions(+), 0 deletions(-) rename topics/{_week5_simply_typed_lambda.mdwn => week5_simply_typed.mdwn} (100%) diff --git a/topics/_week5_simply_typed_lambda.mdwn b/topics/week5_simply_typed.mdwn similarity index 100% rename from topics/_week5_simply_typed_lambda.mdwn rename to topics/week5_simply_typed.mdwn -- 2.11.0