diff --git a/app/Main.hs b/app/Main.hs index 28b59de5f..bc6f2c8c9 100644 --- a/app/Main.hs +++ b/app/Main.hs @@ -8,20 +8,7 @@ import Control.Comonad.Cofree import Control.Monad.Free import Data.Map -a :: Term String () -a = () :< (Keyed $ fromList [ - ("hello", () :< Indexed [ () :< Leaf "hi" ]), - ("goodbye", () :< Leaf "goodbye") ]) -b :: Term String () -b = () :< (Keyed $ fromList [ - ("hello", () :< Indexed []), - ("goodbye", () :< Indexed []) ]) - -d :: Diff String () -d = Free . Annotated ((), ()) . Keyed $ fromList [ - ("hello", Free . Annotated ((), ()) $ Indexed [ Pure . Delete $ () :< Leaf "hi" ]), - ("goodbye", Pure $ Replace (() :< Leaf "goodbye") (() :< Indexed [])) ] main :: IO () main = putStrLn "hello world"