diff --git a/LICENSE b/LICENSE
new file mode 100644
--- /dev/null
+++ b/LICENSE
@@ -0,0 +1,24 @@
+Copyright (c) 2011, The University of Kansas
+All rights reserved.
+
+Redistribution and use in source and binary forms, with or without
+modification, are permitted provided that the following conditions are
+met:
+
+    Redistributions of source code must retain the above copyright notice, this
+    list of conditions and the following disclaimer.
+
+    Redistributions in binary form must reproduce the above copyright notice,
+    this list of conditions and the following disclaimer in the documentation
+    and/or other materials provided with the distribution.
+
+THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS" AND
+ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED
+WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE
+DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT HOLDER OR CONTRIBUTORS BE LIABLE
+FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
+DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR
+SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER
+CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY,
+OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
+OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
diff --git a/Language/HERMIT.hs b/Language/HERMIT.hs
new file mode 100644
--- /dev/null
+++ b/Language/HERMIT.hs
@@ -0,0 +1,3 @@
+module Language.HERMIT where
+
+version = "0.0"
diff --git a/Setup.hs b/Setup.hs
new file mode 100644
--- /dev/null
+++ b/Setup.hs
@@ -0,0 +1,2 @@
+import Distribution.Simple
+main = defaultMain
diff --git a/hermit.cabal b/hermit.cabal
new file mode 100644
--- /dev/null
+++ b/hermit.cabal
@@ -0,0 +1,23 @@
+Name:                hermit
+Version:             0.0
+Synopsis:            Haskell Equational Reasoning Model-to-Implementation Tunnel
+Description:	     HERMIT uses Haskell to express semi-formal models,
+		     efficient implementations, and provide a bridging DSL
+		     to describe via stepwise refinement the connection between
+		     these models and implementations. The key transformation
+		     in the bridging DSL is the worker/wrapper transformation.
+
+Category:            Language, Formal Methods, Optimization, Transformation, Refactoring, Reflection
+License:             BSD3
+License-file:        LICENSE
+Author:              Andy Gill
+Maintainer:          Andy Gill <andygill@ku.edu>
+Stability:	     vaporware
+build-type: 	     Simple
+Cabal-Version:       >= 1.6
+
+Library
+       Build-Depends: base >= 4 && < 5
+
+  Exposed-modules:
+       Language.HERMIT