1 files changed, 8 insertions, 8 deletions
diff --git a/stdlib/source/program/aedifex/dependency/resolution.lux b/stdlib/source/program/aedifex/dependency/resolution.lux
index 6a15823c8..08ca4d1a8 100644
--- a/stdlib/source/program/aedifex/dependency/resolution.lux
+++ b/stdlib/source/program/aedifex/dependency/resolution.lux
@@ -75,7 +75,7 @@
   "[1]::[0]"
   (trim [] java/lang/String))
 
-(def: (verified_hash library repository version_template artifact extension hash codec exception)
+(def (verified_hash library repository version_template artifact extension hash codec exception)
   (All (_ h)
     (-> Binary (Repository Async) Version Artifact Extension
         (-> Binary (Hash h)) (Codec Text (Hash h))
@@ -100,7 +100,7 @@
       {try.#Failure error}
       (in {try.#Success {.#None}}))))
 
-(def: (hashed repository version_template artifact extension)
+(def (hashed repository version_template artifact extension)
   (-> (Repository Async) Version Artifact Extension (Async (Try [Binary Status])))
   (do (try.with async.monad)
     [data (at repository download (///repository/remote.uri version_template artifact extension))
@@ -123,7 +123,7 @@
                 [{.#None} {.#None}]
                 {//status.#Unverified})])))
 
-(def: .public (one repository dependency)
+(def .public (one repository dependency)
   (-> (Repository Async) Dependency (Async (Try Package)))
   (let [[artifact type] dependency
         extension (///artifact/extension.extension type)]
@@ -147,11 +147,11 @@
 (type: .public Resolution
   (Dictionary Dependency Package))
 
-(def: .public empty
+(def .public empty
   Resolution
   (dictionary.empty //.hash))
 
-(def: .public equivalence
+(def .public equivalence
   (Equivalence Resolution)
   (dictionary.equivalence ///package.equivalence))
 
@@ -161,7 +161,7 @@
    "Type" (%.text (the //.#type dependency))))
 
 (with_template [<sigil> <name> <doing> <at>]
-  [(def: (<name> console repository artifact)
+  [(def (<name> console repository artifact)
      (-> (Console Async) (Repository Async) Artifact (Async (Try Any)))
      (at console write (format "[" <sigil> "]"
                                " " <doing>
@@ -175,7 +175,7 @@
   ["X" announce_failure "Missed" "from"]
   )
 
-(def: .public (any console repositories dependency)
+(def .public (any console repositories dependency)
   (-> (Console Async) (List (Repository Async)) Dependency (Async (Try Package)))
   (case repositories
     {.#End}
@@ -198,7 +198,7 @@
           [_ (..announce_failure console repository (the //.#artifact dependency))]
           (any console alternatives dependency))))))
 
-(def: .public (all console repositories new_repository dependencies resolution)
+(def .public (all console repositories new_repository dependencies resolution)
   (-> (Console Async) (List (Repository Async)) (-> URL (Repository Async)) (List Dependency) Resolution
       (Async [(List Dependency)
               (List Dependency)