diff --git a/CHANGELOG.md b/CHANGELOG.md
new file mode 100644
--- /dev/null
+++ b/CHANGELOG.md
@@ -0,0 +1,5 @@
+# Revision history for IStr
+
+## 0.1.0.0 -- YYYY-mm-dd
+
+* First version. Released on an unsuspecting world.
diff --git a/IStr.cabal b/IStr.cabal
new file mode 100644
--- /dev/null
+++ b/IStr.cabal
@@ -0,0 +1,36 @@
+cabal-version:      3.0
+name:               IStr
+version:            0.1.0.0
+synopsis:
+        String Interpolation of Haskell expressions using #{expr} syntax 
+description:
+        Easy string interpolation of arbitrary haskell expressions.
+
+        This is done using a custom class similar to Show except that with IStr except that it doesn't escape instances of IsString.
+license:            MIT
+license-file:       LICENSE
+author:             lazyLambda
+maintainer:         galen.sprout@gmail.com
+-- copyright:
+category:           Text
+build-type:         Simple
+extra-doc-files:    CHANGELOG.md
+-- extra-source-files:
+
+source-repository head
+  type:                git
+  location:            https://github.com/augyg/IStr   
+common warnings
+    ghc-options: -Wall
+
+library
+    import:           warnings
+    exposed-modules:  Text.IStr
+    -- other-modules:
+    -- other-extensions:
+    
+    build-depends:    base >= 4.20.2 && < 4.21
+                    , template-haskell >= 2.22.0 && < 2.23
+                    , haskell-src-meta >= 0.8.15 && < 0.9
+    hs-source-dirs:   src
+    default-language: Haskell2010
diff --git a/LICENSE b/LICENSE
new file mode 100644
--- /dev/null
+++ b/LICENSE
@@ -0,0 +1,20 @@
+Copyright (c) 2025 lazyLambda
+
+Permission is hereby granted, free of charge, to any person obtaining
+a copy of this software and associated documentation files (the
+"Software"), to deal in the Software without restriction, including
+without limitation the rights to use, copy, modify, merge, publish,
+distribute, sublicense, and/or sell copies of the Software, and to
+permit persons to whom the Software is furnished to do so, subject to
+the following conditions:
+
+The above copyright notice and this permission notice shall be included
+in all copies or substantial portions of the Software.
+
+THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND,
+EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF
+MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT.
+IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY
+CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION OF CONTRACT,
+TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION WITH THE
+SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE.
diff --git a/src/Text/IStr.hs b/src/Text/IStr.hs
new file mode 100644
--- /dev/null
+++ b/src/Text/IStr.hs
@@ -0,0 +1,65 @@
+{-# LANGUAGE TemplateHaskell #-}
+module Text.IStr where
+
+import Language.Haskell.TH
+import Language.Haskell.TH.Quote
+import Language.Haskell.Meta.Parse
+import Debug.Trace
+
+import qualified Language.Haskell.TH as TH
+
+debug :: QuasiQuoter
+debug = QuasiQuoter traceExp undefined undefined undefined
+
+-- | e.g. traceExp "1+x"  ->  [| trace "1+x = $([|1+x|])" (1+x) |]
+--   (or something)
+traceExp :: String -> Q Exp
+traceExp s = [|( trace $(showExp s) $(parseE s) )|]
+
+-- | e.g. showExp "1+x"  ->  [| "1+x" ++ " = " ++ show (1+x) |]
+showExp :: String -> Q Exp
+showExp s = [|( $(stringE s) ++ " = " ++ show $(parseE s) )|]
+
+-- | e.g. parseE "1+x"  ->  (UInfixE (LitE (IntegerL 1)) (VarE +) (VarE x))
+parseE :: String -> Q Exp
+parseE = return . either (const undefined) id . parseExp
+
+
+data StringPart = Literal String | AntiQuote String deriving Show
+
+parseHaskell :: String -> String -> [StringPart]
+parseHaskell a []          = [Literal (reverse a)]
+parseHaskell a ('\\':x:xs) = parseHaskell (x:a) xs
+parseHaskell a ('\\':[])   = parseHaskell ('\\':a) []
+parseHaskell a ('}':xs)    = AntiQuote (reverse a) : parseStr [] xs
+parseHaskell a (x:xs)      = parseHaskell (x:a) xs
+
+parseStr :: String -> String -> [StringPart]
+parseStr a []           = [Literal (reverse a)]
+parseStr a ('\\':x:xs)  = parseStr (x:a) xs
+parseStr a ('\\':[])    = parseStr ('\\':a) []
+parseStr a ('#':'{':xs) = Literal (reverse a) : parseHaskell [] xs
+parseStr a (x:xs)       = parseStr (x:a) xs
+
+makeExpr :: [StringPart] -> ExpQ
+makeExpr [] = [| "" |]
+makeExpr ((Literal a):xs)   = TH.appE [| (++) a |] (makeExpr xs)
+makeExpr ((AntiQuote a):xs) = TH.appE [| (++) (trimQuotes (show $(reifyStringToHaskell a))) |] (makeExpr xs)
+
+trimQuotes :: String -> String 
+trimQuotes s = reverse $ dropWhile (== '"') $ reverse $ dropWhile (== '"') s
+
+reifyStringToHaskell :: String -> Q Exp
+reifyStringToHaskell s = 
+    case parseExp s of
+        Left s' -> TH.reportError s' >> [| "" |]
+        Right e ->  return e
+
+rstrExp :: String -> ExpQ
+rstrExp s = makeExpr $ parseStr [] $ filter (/= '\r') s
+
+istr :: QuasiQuoter
+istr = QuasiQuoter rstrExp undefined undefined undefined
+
+
+