Split monolithic file into modules.

Prove metatheory for generic initial algebras, instead of a clunky
concrete one.

1 files changed, 7 insertions, 0 deletions

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 =