Update names in Intro

idris-hackers · Mar 25, 2017 · 284c471 · 284c471
1 parent 72e9d64
commit 284c471
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 1 deletion.
diff --git a/Intro/adder.idr → Intro/Adder.idr b/Intro/adder.idr → Intro/Adder.idr
diff --git a/Intro/elem.idr → Intro/Elem.idr b/Intro/elem.idr → Intro/Elem.idr
@@ -1,4 +1,4 @@
-module elem
+module Elem
 
 data Elem : a -> List a -> Type where
      Here : Elem x (x :: xs)