4 files changed, 30 insertions, 30 deletions
diff --git a/stdlib/source/library/lux/meta/configuration.lux b/stdlib/source/library/lux/meta/configuration.lux
index abd48664e..9d30b3590 100644
--- a/stdlib/source/library/lux/meta/configuration.lux
+++ b/stdlib/source/library/lux/meta/configuration.lux
@@ -28,20 +28,20 @@
 (type: .public Configuration
   (/.PList Text))
 
-(def: .public equivalence
+(def .public equivalence
   (Equivalence Configuration)
   (/.equivalence text.equivalence))
 
-(def: .public monoid
+(def .public monoid
   (Monoid Configuration)
   /.monoid)
 
-(def: .public empty
+(def .public empty
   Configuration
   /.empty)
 
 (with_template [<ascii> <name>]
-  [(def: <name>
+  [(def <name>
      Text
      (text.of_char (hex <ascii>)))]
 
@@ -49,17 +49,17 @@
   ["03" end]
   )
 
-(def: format'
+(def format'
   (-> Text Text)
   (text.enclosed [..start ..end]))
 
-(def: .public format
+(def .public format
   (%.Format Configuration)
   (|>> (list#each (function (_ [feature value])
                     (%.format (..format' feature) (..format' value))))
        text.together))
 
-(def: .public parser
+(def .public parser
   (Parser Configuration)
   (let [parser' (is (Parser Text)
                     (<| (<>.after (<text>.this ..start))
@@ -69,11 +69,11 @@
 
 (exception: .public invalid)
 
-(def: configuration
+(def configuration
   (<code>.Parser Configuration)
   (<code>.tuple (<>.some (<>.and <code>.text <code>.text))))
 
-(def: (subsumes? actual expected)
+(def (subsumes? actual expected)
   (-> Configuration Configuration Bit)
   (case expected
     {.#End}
@@ -86,7 +86,7 @@
              (maybe.else false))
          (subsumes? expected tail))))
 
-(def: .public for
+(def .public for
   (syntax (_ [specializations (<>.some (<>.and ..configuration <code>.any))
               default (<>.maybe <code>.any)])
     (do meta.monad
diff --git a/stdlib/source/library/lux/meta/location.lux b/stdlib/source/library/lux/meta/location.lux
index c71dcd094..acb911ab8 100644
--- a/stdlib/source/library/lux/meta/location.lux
+++ b/stdlib/source/library/lux/meta/location.lux
@@ -4,21 +4,21 @@
    [abstract
     [equivalence (.only Equivalence)]]]])
 
-(def: .public equivalence
+(def .public equivalence
   (Equivalence Location)
   (implementation
-   (def: (= reference subject)
+   (def (= reference subject)
      (and ("lux text =" (the .#module reference) (the .#module subject))
           ("lux i64 =" (the .#line reference) (the .#line subject))
           ("lux i64 =" (the .#column reference) (the .#column subject))))))
 
-(def: .public dummy
+(def .public dummy
   Location
   [.#module ""
    .#line   0
    .#column 0])
 
-(def: .public here
+(def .public here
   (macro (_ tokens compiler)
     (case tokens
       {.#End}
@@ -32,7 +32,7 @@
       _
       {.#Left (`` (("lux in-module" (~~ (static .prelude)) wrong_syntax_error) (symbol ..here)))})))
 
-(def: .public (format it)
+(def .public (format it)
   (-> Location Text)
   (let [separator ","
         [file line column] it]
@@ -42,10 +42,10 @@
          (`` (("lux in-module" (~~ (static .prelude)) .nat#encoded) line)) separator
          (`` (("lux in-module" (~~ (static .prelude)) .nat#encoded) column)))))
 
-(def: \n
+(def \n
   ("lux i64 char" +10))
 
-(def: .public (with location error)
+(def .public (with location error)
   (-> Location Text Text)
   (all "lux text concat" (..format location) \n
        error))
diff --git a/stdlib/source/library/lux/meta/symbol.lux b/stdlib/source/library/lux/meta/symbol.lux
index 7966482ce..fba56c993 100644
--- a/stdlib/source/library/lux/meta/symbol.lux
+++ b/stdlib/source/library/lux/meta/symbol.lux
@@ -14,7 +14,7 @@
 ...   [Text Text])
 
 (with_template [<name>]
-  [(def: .public (<name> [module short])
+  [(def .public (<name> [module short])
      (-> Symbol Text)
      <name>)]
 
@@ -22,35 +22,35 @@
   [short]
   )
 
-(def: .public hash
+(def .public hash
   (Hash Symbol)
   (product.hash text.hash text.hash))
 
-(def: .public equivalence
+(def .public equivalence
   (Equivalence Symbol)
   (at ..hash equivalence))
 
-(def: .public order
+(def .public order
   (Order Symbol)
   (implementation
-   (def: equivalence ..equivalence)
-   (def: (< [moduleP shortP] [moduleS shortS])
+   (def equivalence ..equivalence)
+   (def (< [moduleP shortP] [moduleS shortS])
      (if (text#= moduleP moduleS)
        (at text.order < shortP shortS)
        (at text.order < moduleP moduleS)))))
 
-(def: .public separator
+(def .public separator
   ".")
 
-(def: .public codec
+(def .public codec
   (Codec Text Symbol)
   (implementation
-   (def: (encoded [module short])
+   (def (encoded [module short])
      (case module
        "" short
        _ (all text#composite module ..separator short)))
    
-   (def: (decoded input)
+   (def (decoded input)
      (case (text.all_split_by ..separator input)
        (pattern (list short))
        {.#Right ["" short]}
diff --git a/stdlib/source/library/lux/meta/version.lux b/stdlib/source/library/lux/meta/version.lux
index 4fc4b2409..e90c95a53 100644
--- a/stdlib/source/library/lux/meta/version.lux
+++ b/stdlib/source/library/lux/meta/version.lux
@@ -19,11 +19,11 @@
     [compiler
      [version (.only Version)]]]]])
 
-(def: .public latest
+(def .public latest
   Version
   00,07,00)
 
-(def: .public current
+(def .public current
   (syntax (_ [])
     (do meta.monad
       [it meta.version]
@@ -31,7 +31,7 @@
 
 (exception: .public invalid)
 
-(def: .public for
+(def .public for
   (syntax (_ [specializations (<>.some (<>.and <code>.text <code>.any))
               default (<>.maybe <code>.any)])
     (do meta.monad