summaryrefslogtreecommitdiff
path: root/inky.ipkg
diff options
context:
space:
mode:
Diffstat (limited to 'inky.ipkg')
-rw-r--r--inky.ipkg4
1 files changed, 3 insertions, 1 deletions
diff --git a/inky.ipkg b/inky.ipkg
index 43e6e51..4de3027 100644
--- a/inky.ipkg
+++ b/inky.ipkg
@@ -7,6 +7,8 @@ options = "--total"
depends = contrib
modules
- = Data.These.Decidable
+ = Data.Maybe.Decidable
+ , Data.These.Decidable
+ , Inky.Term
, Inky.Thinning
, Inky.Type