From 9e2f1e76f2c8df01ed7687d934c3210fcf676bd6 Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Thu, 16 Jun 2022 00:48:19 -0400
Subject: De-sigil-ification: suffix : [Part 13]

---
 stdlib/source/program/aedifex/profile.lux | 32 +++++++++++++++----------------
 1 file changed, 16 insertions(+), 16 deletions(-)

(limited to 'stdlib/source/program/aedifex/profile.lux')

diff --git a/stdlib/source/program/aedifex/profile.lux b/stdlib/source/program/aedifex/profile.lux
index 90e5f3d8d..5758a3795 100644
--- a/stdlib/source/program/aedifex/profile.lux
+++ b/stdlib/source/program/aedifex/profile.lux
@@ -39,7 +39,7 @@
   [repository
    [remote (.only Address)]]])
 
-(def: .public default_lux
+(def .public default_lux
   Dependency
   [dependency.#artifact ["com.github.luxlang" "lux-jvm" "0.6.5"]
    dependency.#type type.jvm_library])
@@ -49,10 +49,10 @@
    {#Repo}
    {#Manual}))
 
-(def: distribution_equivalence
+(def distribution_equivalence
   (Equivalence Distribution)
   (implementation
-   (def: (= reference subject)
+   (def (= reference subject)
      (case [reference subject]
        (^.with_template [<tag>]
          [[{<tag>} {<tag>}]
@@ -68,7 +68,7 @@
    URL
    Distribution])
 
-(def: license_equivalence
+(def license_equivalence
   (Equivalence License)
   (all product.equivalence
        text.equivalence
@@ -82,7 +82,7 @@
   [Text
    URL])
 
-(def: organization_equivalence
+(def organization_equivalence
   (Equivalence Organization)
   (all product.equivalence
        text.equivalence
@@ -96,7 +96,7 @@
    Email
    (Maybe Organization)])
 
-(def: developer_equivalence
+(def developer_equivalence
   (Equivalence Developer)
   (all product.equivalence
        text.equivalence
@@ -117,7 +117,7 @@
     #developers (List Developer)
     #contributors (List Contributor)]))
 
-(def: info_equivalence
+(def info_equivalence
   (Equivalence Info)
   (all product.equivalence
        (maybe.equivalence text.equivalence)
@@ -129,7 +129,7 @@
        (list.equivalence ..developer_equivalence)
        (list.equivalence ..developer_equivalence)))
 
-(def: .public default_info
+(def .public default_info
   Info
   [#name {.#None}
    #url {.#None}
@@ -143,25 +143,25 @@
 (type: .public Source
   Path)
 
-(def: .public default_source
+(def .public default_source
   Source
   "source")
 
 (type: .public Target
   Path)
 
-(def: .public default_target
+(def .public default_target
   Target
   "target")
 
-(def: .public default_repository
+(def .public default_repository
   Address
   "https://repo1.maven.org/maven2/")
 
 (type: .public Name
   Text)
 
-(def: .public default
+(def .public default
   Name
   "")
 
@@ -186,7 +186,7 @@
     #lua Runtime
     #ruby Runtime]))
 
-(def: .public equivalence
+(def .public equivalence
   (Equivalence Profile)
   (all product.equivalence
        ... #parents
@@ -226,10 +226,10 @@
        ... #ruby
        runtime.equivalence))
 
-(def: .public monoid
+(def .public monoid
   (Monoid Profile)
   (implementation
-   (def: identity
+   (def identity
      [#parents (list)
       #identity {.#None}
       #info {.#None}
@@ -249,7 +249,7 @@
       #lua runtime.default_lua
       #ruby runtime.default_ruby])
 
-   (def: (composite override baseline)
+   (def (composite override baseline)
      (template.let [(!runtime <tag> <runtime>)
                     [(if (runtime#= <runtime> (the <tag> override))
                        (the <tag> baseline)
-- 
cgit v1.2.3