1 files changed, 11 insertions, 11 deletions
diff --git a/stdlib/source/documentation/lux/type/primitive.lux b/stdlib/source/documentation/lux/type/primitive.lux
index cbb9ac7bf..d8d651188 100644
--- a/stdlib/source/documentation/lux/type/primitive.lux
+++ b/stdlib/source/documentation/lux/type/primitive.lux
@@ -41,36 +41,36 @@
   [(primitive String
      Text
 
-     (def: (string value)
+     (def (string value)
        (-> Text String)
        (abstraction value))
 
-     (def: (text value)
+     (def (text value)
        (-> String Text)
        (representation value)))]
   ["Type-parameters are optional."
    (primitive (Duplicate a)
      [a a]
 
-     (def: (duplicate value)
+     (def (duplicate value)
        (All (_ a) (-> a (Duplicate a)))
        (abstraction [value value])))]
   ["Definitions can be nested."
    (primitive (Single a)
      a
 
-     (def: (single value)
+     (def (single value)
        (All (_ a) (-> a (Single a)))
        (abstraction value))
 
      (primitive (Double a)
        [a a]
 
-       (def: (double value)
+       (def (double value)
          (All (_ a) (-> a (Double a)))
          (abstraction [value value]))
 
-       (def: (single' value)
+       (def (single' value)
          (All (_ a) (-> a (Single a)))
          (abstraction Single [value value]))
 
@@ -89,12 +89,12 @@
      (primitive Expression Any)
      (primitive Statement Any)
 
-     (def: (+ x y)
+     (def (+ x y)
        (-> (JavaScript Expression) (JavaScript Expression) (JavaScript Expression))
        (abstraction
         (format "(" (representation x) "+" (representation y) ")")))
 
-     (def: (while test body)
+     (def (while test body)
        (-> (JavaScript Expression) (JavaScript Statement) (JavaScript Statement))
        (abstraction
         (format "while(" (representation test) ") {"
@@ -109,15 +109,15 @@
      (primitive Expression Any)
      (primitive Statement Any)
 
-     (def: (statement expression)
+     (def (statement expression)
        (-> (JavaScript Expression) (JavaScript Statement))
        (transmutation expression))
 
-     (def: (statement' expression)
+     (def (statement' expression)
        (-> (JavaScript Expression) (JavaScript Statement))
        (transmutation JavaScript expression)))])
 
-(.def: .public documentation
+(.def .public documentation
   (.List $.Module)
   ($.module /._
             ""