5 files changed, 20 insertions, 20 deletions
diff --git a/stdlib/source/test/aedifex/repository.lux b/stdlib/source/test/aedifex/repository.lux
index 6b4feec76..5ef8a77c8 100644
--- a/stdlib/source/test/aedifex/repository.lux
+++ b/stdlib/source/test/aedifex/repository.lux
@@ -38,7 +38,7 @@
     ["[1][0]" artifact (.only Version Artifact)
      ["[1]/[0]" extension (.only Extension)]]]]])
 
-(def: artifact
+(def artifact
   (-> Version Artifact)
   (|>> ["com.github.luxlang" "test-artifact"]))
 
@@ -53,24 +53,24 @@
 (type: Store
   (Dictionary URI Binary))
 
-(def: .public empty
+(def .public empty
   Store
   (dictionary.empty text.hash))
 
-(def: valid_version
+(def valid_version
   Version
   "1.2.3-YES")
 
-(def: invalid_version
+(def invalid_version
   Version
   "4.5.6-NO")
 
-(def: .public mock
+(def .public mock
   (/.Mock Store)
   (implementation
-   (def: the_description
+   (def the_description
      "@")
-   (def: (on_download uri state)
+   (def (on_download uri state)
      (case (dictionary.value uri state)
        {.#Some content}
        (case (binary.size content)
@@ -79,12 +79,12 @@
        
        {.#None}
        (exception.except ..not_found [uri])))
-   (def: (on_upload uri content state)
+   (def (on_upload uri content state)
      (if (dictionary.key? state uri)
        (exception.except ..cannot_upload [uri])
        {try.#Success (dictionary.has uri content state)}))))
 
-(def: .public test
+(def .public test
   Test
   (<| (_.covering /._)
       (all _.and
diff --git a/stdlib/source/test/aedifex/repository/identity.lux b/stdlib/source/test/aedifex/repository/identity.lux
index b7ab8e23d..5b556db20 100644
--- a/stdlib/source/test/aedifex/repository/identity.lux
+++ b/stdlib/source/test/aedifex/repository/identity.lux
@@ -10,14 +10,14 @@
  [\\program
   ["[0]" /]])
 
-(def: .public random
+(def .public random
   (Random /.Identity)
   (all random.and
        (random.alphabetic 10)
        (random.alphabetic 10)
        ))
 
-(def: .public test
+(def .public test
   Test
   (<| (_.covering /._)
       (_.for [/.User /.Password /.Identity]
diff --git a/stdlib/source/test/aedifex/repository/local.lux b/stdlib/source/test/aedifex/repository/local.lux
index 93bb28f1d..5a6be7777 100644
--- a/stdlib/source/test/aedifex/repository/local.lux
+++ b/stdlib/source/test/aedifex/repository/local.lux
@@ -23,7 +23,7 @@
  [\\program
   ["[0]" /]])
 
-(def: .public test
+(def .public test
   Test
   (<| (_.covering /._)
       (do [! random.monad]
diff --git a/stdlib/source/test/aedifex/repository/origin.lux b/stdlib/source/test/aedifex/repository/origin.lux
index 0f0fe6191..a414c8371 100644
--- a/stdlib/source/test/aedifex/repository/origin.lux
+++ b/stdlib/source/test/aedifex/repository/origin.lux
@@ -10,14 +10,14 @@
  [\\program
   ["[0]" /]])
 
-(def: .public random
+(def .public random
   (Random /.Origin)
   (all random.or
        (random.alphabetic 10)
        (random.alphabetic 10)
        ))
 
-(def: .public test
+(def .public test
   Test
   (<| (_.covering /._)
       (_.for [/.Origin]
diff --git a/stdlib/source/test/aedifex/repository/remote.lux b/stdlib/source/test/aedifex/repository/remote.lux
index 75e9ff35e..1c16ddf09 100644
--- a/stdlib/source/test/aedifex/repository/remote.lux
+++ b/stdlib/source/test/aedifex/repository/remote.lux
@@ -31,16 +31,16 @@
    ["/[1]" //
     ["[1][0]" identity]]]])
 
-(def: (url_body url)
+(def (url_body url)
   (-> URL (@http.Body IO))
   (let [url (at utf8.codec encoded url)]
     (function (_ _)
       (io.io {try.#Success [(binary.size url) url]}))))
 
-(def: (good_http user password)
+(def (good_http user password)
   (-> //identity.User //identity.Password (http.Client IO))
   (implementation
-   (def: (request method url headers input)
+   (def (request method url headers input)
      (with_expansions [<failure> [http/status.bad_request
                                   [@http.#headers (http.headers (list))
                                    @http.#body (..url_body "")]]]
@@ -70,17 +70,17 @@
                <failure>)
              <failure>))))))
 
-(def: bad_http
+(def bad_http
   (http.Client IO)
   (implementation
-   (def: (request method url headers input)
+   (def (request method url headers input)
      (<| io.io
          {try.#Success}
          [http/status.bad_request
           [@http.#headers (http.headers (list))
            @http.#body (..url_body "")]]))))
 
-(def: .public test
+(def .public test
   Test
   (<| (_.covering /._)
       (do [! random.monad]