1 files changed, 5 insertions, 5 deletions
diff --git a/stdlib/source/library/lux/target/jvm/index.lux b/stdlib/source/library/lux/target/jvm/index.lux
index e3421fd14..f21318b91 100644
--- a/stdlib/source/library/lux/target/jvm/index.lux
+++ b/stdlib/source/library/lux/target/jvm/index.lux
@@ -12,27 +12,27 @@
   [encoding
    ["[1][0]" unsigned (.only U2)]]])
 
-(def: .public length
+(def .public length
   //unsigned.bytes/2)
 
 (primitive .public (Index kind)
   U2
 
-  (def: .public index
+  (def .public index
     (All (_ kind) (-> U2 (Index kind)))
     (|>> abstraction))
 
-  (def: .public value
+  (def .public value
     (-> (Index Any) U2)
     (|>> representation))
 
-  (def: .public equivalence
+  (def .public equivalence
     (All (_ kind) (Equivalence (Index kind)))
     (at equivalence.functor each
         ..value
         //unsigned.equivalence))
 
-  (def: .public writer
+  (def .public writer
     (All (_ kind) (Writer (Index kind)))
     (|>> representation //unsigned.writer/2))
   )