From a738121a17239d9b723d64d2497b13c664465924 Mon Sep 17 00:00:00 2001 From: Jim Pryor Date: Mon, 25 Oct 2010 20:32:01 -0400 Subject: [PATCH] renamed curry-howard Signed-off-by: Jim Pryor --- curry-howard => curry-howard.mdwn | 0 1 file changed, 0 insertions(+), 0 deletions(-) rename curry-howard => curry-howard.mdwn (100%) diff --git a/curry-howard b/curry-howard.mdwn similarity index 100% rename from curry-howard rename to curry-howard.mdwn -- 2.11.0