From 39bd40eea9c0b8935f7feabdeb20802e98e5b603 Mon Sep 17 00:00:00 2001
From: Greg Brown <greg.brown01@ed.ac.uk>
Date: Fri, 20 Sep 2024 16:15:47 +0100
Subject: Get working type pretty printer.

Write a type on stdin, and it will tell you if it's well formed, and
will pretty print it back if so.

Rewrite the parser library to be n-ary.
---
 inky.ipkg | 5 +++++
 1 file changed, 5 insertions(+)

(limited to 'inky.ipkg')

diff --git a/inky.ipkg b/inky.ipkg
index b3d274f..2301466 100644
--- a/inky.ipkg
+++ b/inky.ipkg
@@ -6,12 +6,17 @@ options = "--total"
 
 depends = contrib
 
+executable = inky
+main = Inky
+
 modules
   = Data.Maybe.Decidable
   , Data.These.Decidable
+  , Inky
   , Inky.Context
   , Inky.Parser
   , Inky.Term
+  , Inky.Term.Parser
   , Inky.Term.Pretty
   , Inky.Thinning
   , Inky.Type
-- 
cgit v1.2.3