diff --git a/LICENSE b/LICENSE
new file mode 100644
--- /dev/null
+++ b/LICENSE
@@ -0,0 +1,30 @@
+Copyright (c)2012, Jonathan Fischoff
+
+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.
+
+    * Neither the name of Jonathan Fischoff nor the names of other
+      contributors may be used to endorse or promote products derived
+      from this software without specific prior written permission.
+
+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
+OWNER 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/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/lambda-ast.cabal b/lambda-ast.cabal
new file mode 100644
--- /dev/null
+++ b/lambda-ast.cabal
@@ -0,0 +1,23 @@
+category:               Compilers/Interpreters
+copyright:              (c) 2012 Jonathan Fischoff 
+name:                   lambda-ast
+version:                0.0.1
+license:                BSD3
+license-file:           LICENSE
+author:                 Jonathan Fischoff
+maintainer:             jonathangfischoff@gmail.com
+synopsis:               Untyped Lambda Calculus Abstract Syntax Tree
+description:            An AST for the untyped lambda calculus. The AST is parameterized by symbol type.
+
+stability:              experimental
+build-type:             Simple
+cabal-version:          >= 1.10.1.0
+tested-with:            GHC == 7.2.2
+
+library
+  hs-source-dirs:         src
+  default-language:       Haskell98
+  exposed-modules:        Language.Lambda.AST
+  ghc-options:            -Wall
+  Build-depends:          base < 6.0
+  
diff --git a/src/Language/Lambda/AST.hs b/src/Language/Lambda/AST.hs
new file mode 100644
--- /dev/null
+++ b/src/Language/Lambda/AST.hs
@@ -0,0 +1,18 @@
+{- | An Untyped Lambda Calculus AST -}
+module Language.Lambda.AST where
+
+-- | A polymorphic version of the AST to allow different symbol types
+data GExpr a = Var a
+             | App (GExpr a) (GExpr a)
+             | Lam a         (GExpr a)
+     deriving(Show, Eq)
+             
+-- | A common symbol type choice
+type Sym  = String
+
+-- | A common AST
+type Expr = GExpr Sym
+
+
+
+