From 6dde244c14410ede6d41e9a8607016e23c19e320 Mon Sep 17 00:00:00 2001
From: Greg Brown <greg.brown01@ed.ac.uk>
Date: Thu, 1 Feb 2024 15:23:47 +0000
Subject: Split monolithic file into modules.

Prove metatheory for generic initial algebras, instead of a clunky
concrete one.
---
 soas.ipkg | 7 +++++++
 1 file changed, 7 insertions(+)

(limited to 'soas.ipkg')

diff --git a/soas.ipkg b/soas.ipkg
index 9371eb8..5255261 100644
--- a/soas.ipkg
+++ b/soas.ipkg
@@ -17,6 +17,13 @@ depends = contrib
 
 -- modules to install
 modules = SOAS
+    , SOAS.Algebra
+    , SOAS.Context
+    , SOAS.Family
+    , SOAS.Strength
+    , SOAS.Structure
+    , SOAS.Theory
+    , SOAS.Var
 
 -- main file (i.e. file to load at REPL)
 -- main =
-- 
cgit v1.2.3