From 5a53c75f533f2ae758635e1989c4e7fb2b6469d5 Mon Sep 17 00:00:00 2001
From: Chloe Brown <chloe.brown.00@outlook.com>
Date: Sun, 16 Apr 2023 14:50:55 +0100
Subject: Prove whnfs do not reduce.

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

(limited to 'obs.ipkg')

diff --git a/obs.ipkg b/obs.ipkg
index bbb996c..be12a16 100644
--- a/obs.ipkg
+++ b/obs.ipkg
@@ -11,6 +11,7 @@ modules
   , Core.Environment
   , Core.Reduction
   , Core.Term
+  , Core.Term.NormalForm
   , Core.Term.Substitution
   , Core.Term.Thinned
   , Core.Thinning
-- 
cgit v1.2.3