1 files changed, 21 insertions, 0 deletions
diff --git a/src/Obs/Main.idr b/src/Obs/Main.idr
new file mode 100644
index 0000000..0ff1d70
--- /dev/null
+++ b/src/Obs/Main.idr
@@ -0,0 +1,21 @@
+module Obs.Main
+
+import Obs.Parser
+import Obs.Syntax
+
+import System
+
+import Text.PrettyPrint.Prettyprinter
+import Text.PrettyPrint.Prettyprinter.Render.Terminal
+
+usage : IO ()
+usage = do
+  () <- putStrLn "usage: obs <file>"
+  exitFailure
+
+main : IO ()
+main = do
+  [_, file] <- getArgs
+    | _ => usage
+  defs <- parseFile file
+  putDoc $ concatWith (\x, y => x <+> hardline <+> hardline <+> y) (map pretty defs)