From b89ece01704e3b8040e75687f1f8524027d7f7e8 Mon Sep 17 00:00:00 2001
From: Chloe Brown <chloe.brown.00@outlook.com>
Date: Sat, 1 Apr 2023 13:01:44 +0100
Subject: Define Reduction.

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

(limited to 'obs.ipkg')

diff --git a/obs.ipkg b/obs.ipkg
index a0f8e9c..b748825 100644
--- a/obs.ipkg
+++ b/obs.ipkg
@@ -10,6 +10,7 @@ modules
   = Core.Context
   , Core.Declarative
   , Core.Name
+  , Core.Reduction
   , Core.Term
   , Core.Term.Environment
   , Core.Term.Substitution
-- 
cgit v1.2.3