Formatting

Clean up Main.hs formatting; clarify language in parsing branch

src/Main.hs

@@ -9,4 +9,8 @@ import Data.Map as Map
 import Text.Megaparsec (runParser)
 
 main :: IO ()
-main = putStr $ show $ result $ evalMulti Map.empty (parseMulti "false = t\nnot = t (t (t t) (t t t)) t\ntrue = not false\ntrue")
+main = putStr 
+     $ show 
+     $ result 
+     $ evalMulti Map.empty (parseMulti 
+      "false = t\nnot = t (t (t t) (t t t)) t\ntrue = not false\ntrue")

src/Parser.hs

@@ -49,7 +49,7 @@ parseApplication = do
   func <- parseAtomicBase
   args <- many parseAtomic
   case func of
-    TLeaf | not (null args) && all isTreeTerm args -> fail "Not an application, defer to Tree Calculus"
+    TLeaf | not (null args) && all isTreeTerm args -> fail "Defer to Tree Calculus"
     _ -> return (SApp func args)
 
 isTreeTerm :: SaplingAST -> Bool