1 files changed, 2 insertions, 0 deletions

diff --git a/obs.ipkg b/obs.ipkg
index bee4872..71451bb 100644
--- a/obs.ipkg
+++ b/obs.ipkg
@@ -12,9 +12,11 @@ modules
   , Obs.Logging
   , Obs.Main
   , Obs.NormalForm
+  , Obs.NormalForm.Normalise
   , Obs.Parser
   , Obs.Sort
   , Obs.Substitution
   , Obs.Syntax
   , Obs.Term
   , Obs.Typing
+  , Obs.Typing.Conversion