From e3e810024343f0262b452cd9825ac77c6c897c16 Mon Sep 17 00:00:00 2001
From: Chloe Brown <chloe.brown.00@outlook.com>
Date: Sat, 8 Apr 2023 14:56:31 +0100
Subject: Define substitution judgements.

This completes the core rules and semantics.
---
 obs.ipkg | 1 +
 1 file changed, 1 insertion(+)

(limited to 'obs.ipkg')

diff --git a/obs.ipkg b/obs.ipkg
index b6906d5..73ffaf9 100644
--- a/obs.ipkg
+++ b/obs.ipkg
@@ -9,6 +9,7 @@ options = "--total"
 modules
   = Core.Context
   , Core.Declarative
+  , Core.Declarative.Substitution
   , Core.Environment
   , Core.Name
   , Core.Reduction
-- 
cgit v1.2.3