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)