From 284c471cc78e0e1704801b7ddc224c52767e0d74 Mon Sep 17 00:00:00 2001
From: Edwin Brady <ecb10@st-andrews.ac.uk>
Date: Sat, 25 Mar 2017 19:27:09 +0000
Subject: [PATCH] Update names in Intro

---
 Intro/{adder.idr => Adder.idr} | 0
 Intro/{elem.idr => Elem.idr}   | 2 +-
 2 files changed, 1 insertion(+), 1 deletion(-)
 rename Intro/{adder.idr => Adder.idr} (100%)
 rename Intro/{elem.idr => Elem.idr} (97%)

diff --git a/Intro/adder.idr b/Intro/Adder.idr
similarity index 100%
rename from Intro/adder.idr
rename to Intro/Adder.idr
diff --git a/Intro/elem.idr b/Intro/Elem.idr
similarity index 97%
rename from Intro/elem.idr
rename to Intro/Elem.idr
index 2f558e9..b5192a0 100644
--- a/Intro/elem.idr
+++ b/Intro/Elem.idr
@@ -1,4 +1,4 @@
-module elem
+module Elem
 
 data Elem : a -> List a -> Type where
      Here : Elem x (x :: xs)