From 7e184c20d545afb55f6e962b8bfea882b23699fa Mon Sep 17 00:00:00 2001
From: Greg Brown <greg.brown01@ed.ac.uk>
Date: Sun, 1 Jan 2023 12:11:50 +0000
Subject: Index normal forms with relevance.

- Remove container types.
- Replace sum types with booleans.
- Remove type annotation from absurd.
- Add original type as argument to cast.
- Make if (was case) take a lambda for the return type.
---
 obs.ipkg | 1 +
 1 file changed, 1 insertion(+)

(limited to 'obs.ipkg')

diff --git a/obs.ipkg b/obs.ipkg
index 71451bb..7346579 100644
--- a/obs.ipkg
+++ b/obs.ipkg
@@ -19,4 +19,5 @@ modules
   , Obs.Syntax
   , Obs.Term
   , Obs.Typing
+  , Obs.Typing.Context
   , Obs.Typing.Conversion
-- 
cgit v1.2.3