1 files changed, 5 insertions, 5 deletions
diff --git a/stdlib/source/specification/lux/abstract/functor/contravariant.lux b/stdlib/source/specification/lux/abstract/functor/contravariant.lux
index a2edebd54..a9ac6e660 100644
--- a/stdlib/source/specification/lux/abstract/functor/contravariant.lux
+++ b/stdlib/source/specification/lux/abstract/functor/contravariant.lux
@@ -1,10 +1,10 @@
 (.module:
   [library
-   [lux #*
-    ["_" test (#+ Test)]
+   [lux "*"
+    ["_" test {"+" [Test]}]
     [abstract
-     [equivalence (#+ Equivalence)]
-     [monad (#+ do)]]
+     [equivalence {"+" [Equivalence]}]
+     [monad {"+" [do]}]]
     [control
      ["." function]]
     [math
@@ -12,7 +12,7 @@
      [number
       ["n" nat]]]]]
   [\\library
-   ["." / (#+ Functor)]])
+   ["." / {"+" [Functor]}]])
 
 (def: (identity equivalence value (^open "@//."))
   (All (_ f a) (-> (Equivalence (f a)) (f a) (Functor f) Test))