From 3950a84c00f54ab39f2a209c368cc02460eeebd7 Mon Sep 17 00:00:00 2001
From: Greg Brown <greg.brown01@ed.ac.uk>
Date: Tue, 3 Jan 2023 13:46:38 +0000
Subject: Add more program structure to abstract terms.

Add more program structure to type inference and checking.
---
 obs.ipkg | 1 +
 1 file changed, 1 insertion(+)

(limited to 'obs.ipkg')

diff --git a/obs.ipkg b/obs.ipkg
index df5db66..0679395 100644
--- a/obs.ipkg
+++ b/obs.ipkg
@@ -14,6 +14,7 @@ modules
   , Obs.NormalForm
   , Obs.NormalForm.Normalise
   , Obs.Parser
+  , Obs.Pretty
   , Obs.Substitution
   , Obs.Syntax
   , Obs.Term
-- 
cgit v1.2.3