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/project.lux | 16 ++++++++--------
 1 file changed, 8 insertions(+), 8 deletions(-)

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

diff --git a/stdlib/source/program/aedifex/project.lux b/stdlib/source/program/aedifex/project.lux
index 868fb7691..0d1fb6559 100644
--- a/stdlib/source/program/aedifex/project.lux
+++ b/stdlib/source/program/aedifex/project.lux
@@ -18,27 +18,27 @@
  ["[0]" //
   ["[1]" profile (.only Name Profile)]])
 
-(def: .public file
+(def .public file
   "project.lux")
 
 (type: .public Project
   (Dictionary Name Profile))
 
-(def: .public (project name profile)
+(def .public (project name profile)
   (-> Name Profile Project)
   (dictionary.of_list text.hash (list [name profile])))
 
-(def: .public equivalence
+(def .public equivalence
   (Equivalence Project)
   (dictionary.equivalence //.equivalence))
 
-(def: .public monoid
+(def .public monoid
   (Monoid Project)
   (implementation
-   (def: identity
+   (def identity
      (dictionary.empty text.hash))
 
-   (def: composite
+   (def composite
      (dictionary.composite_with (at //.monoid composite)))))
 
 (exception: .public (unknown_profile [name Name])
@@ -51,7 +51,7 @@
    "Dependent" (%.text dependent)
    "Dependee" (%.text dependee)))
 
-(def: (profile' lineage project name)
+(def (profile' lineage project name)
   (-> (Set Name) Project Name (Try Profile))
   (case (dictionary.value name project)
     {.#Some profile}
@@ -72,6 +72,6 @@
     {.#None}
     (exception.except ..unknown_profile [name])))
 
-(def: .public profile
+(def .public profile
   (-> Project Name (Try Profile))
   (..profile' (set.empty text.hash)))
-- 
cgit v1.2.3