diff --git a/.gitignore b/.gitignore
index e69f5f3..59c73de 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1,3 +1,5 @@
 tags
+target
 *.ibc
 *.swp
+elba.lock
diff --git a/elba.toml b/elba.toml
new file mode 100644
index 0000000..e38e103
--- /dev/null
+++ b/elba.toml
@@ -0,0 +1,20 @@
+[package]
+name = "vmchale/permutations"
+version = "0.2.0"
+authors = [ "Vanessa McHale" ]
+
+[dev_dependencies]
+"pheymann/specdris" = { git = "https://github.com/pheymann/specdris/" }
+
+[targets.lib]
+mods = [ "Control.Permutation"
+       , "Control.Permutation.Types"
+       , "Control.Permutation.Mod"
+       , "Control.Permutation.Proofs"
+       , "Data.Group"
+       ]
+
+[[targets.test]]
+path = "src"
+main = "Test.Spec.specSuite"
+idris_opts = [ "-p", "contrib"]
diff --git a/permutations.ipkg b/permutations.ipkg
index cea8663..fc4070e 100644
--- a/permutations.ipkg
+++ b/permutations.ipkg
@@ -9,6 +9,8 @@ author = Vanessa McHale
 sourceloc  = git://git@github.com:vmchale/permutations.git
 bugtracker = http://www.github.com/vmchale/permutations/issues
 
+sourcedir = src
+
 modules = Control.Permutation,
           Control.Permutation.Types,
           Control.Permutation.Mod,
diff --git a/Control/Permutation.idr b/src/Control/Permutation.idr
similarity index 100%
rename from Control/Permutation.idr
rename to src/Control/Permutation.idr
diff --git a/Control/Permutation/Mod.idr b/src/Control/Permutation/Mod.idr
similarity index 100%
rename from Control/Permutation/Mod.idr
rename to src/Control/Permutation/Mod.idr
diff --git a/Control/Permutation/Proofs.idr b/src/Control/Permutation/Proofs.idr
similarity index 100%
rename from Control/Permutation/Proofs.idr
rename to src/Control/Permutation/Proofs.idr
diff --git a/Control/Permutation/Types.idr b/src/Control/Permutation/Types.idr
similarity index 100%
rename from Control/Permutation/Types.idr
rename to src/Control/Permutation/Types.idr
diff --git a/Data/Group.idr b/src/Data/Group.idr
similarity index 100%
rename from Data/Group.idr
rename to src/Data/Group.idr
diff --git a/Test/Spec.idr b/src/Test/Spec.idr
similarity index 100%
rename from Test/Spec.idr
rename to src/Test/Spec.idr
diff --git a/test.ipkg b/test.ipkg
index 8c990f5..e3c7e58 100644
--- a/test.ipkg
+++ b/test.ipkg
@@ -12,4 +12,6 @@ modules = Control.Permutation.Types
         , Data.Group
         , Test.Spec
 
+sourcedir = src
+
 tests = Test.Spec.specSuite