From: jim <jim@web>
Date: Mon, 2 Mar 2015 16:35:08 +0000 (-0500)
Subject: rename topics/_week5_simply_typed_lambda.mdwn to topics/week5_simply_typed.mdwn
X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=commitdiff_plain;h=340e045ffdf3ebf60771af2d74d0bafe9eb08283

rename topics/_week5_simply_typed_lambda.mdwn to topics/week5_simply_typed.mdwn
---

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