From a8a4ef9933a1a07b6fbf2d257df2a5fb40b1e87d Mon Sep 17 00:00:00 2001
From: Greg Brown <greg.brown01@ed.ac.uk>
Date: Wed, 21 Dec 2022 20:32:56 +0000
Subject: Add sum types.

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

(limited to 'obs.ipkg')

diff --git a/obs.ipkg b/obs.ipkg
index bee4872..71451bb 100644
--- a/obs.ipkg
+++ b/obs.ipkg
@@ -12,9 +12,11 @@ modules
   , Obs.Logging
   , Obs.Main
   , Obs.NormalForm
+  , Obs.NormalForm.Normalise
   , Obs.Parser
   , Obs.Sort
   , Obs.Substitution
   , Obs.Syntax
   , Obs.Term
   , Obs.Typing
+  , Obs.Typing.Conversion
-- 
cgit v1.2.3