From e42f16505814d2995f771581424b2ebbfb402a49 Mon Sep 17 00:00:00 2001
From: Greg Brown <greg.brown01@ed.ac.uk>
Date: Sat, 17 Dec 2022 16:02:33 +0000
Subject: Define normal form.

---
 obs.ipkg | 1 +
 1 file changed, 1 insertion(+)

(limited to 'obs.ipkg')

diff --git a/obs.ipkg b/obs.ipkg
index 1ae6e84..e178c88 100644
--- a/obs.ipkg
+++ b/obs.ipkg
@@ -10,6 +10,7 @@ main = Obs.Main
 modules
   = Obs.Abstract
   , Obs.Main
+  , Obs.NormalForm
   , Obs.Parser
   , Obs.Sort
   , Obs.Substitution
-- 
cgit v1.2.3