From 93eb82e1bf6d2f2a6b3b0adb85f4ab93cbb766a9 Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Mon, 14 Mar 2022 03:33:01 -0400
Subject: De-sigil-ification: @

---
 stdlib/source/program/aedifex/project.lux | 42 +++++++++++++++----------------
 1 file changed, 21 insertions(+), 21 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 e576797b4..9741cc731 100644
--- a/stdlib/source/program/aedifex/project.lux
+++ b/stdlib/source/program/aedifex/project.lux
@@ -1,22 +1,22 @@
 (.using
-  [library
-   [lux "*"
-    [abstract
-     [equivalence {"+" Equivalence}]
-     [monoid {"+" Monoid}]
-     ["[0]" monad {"+" do}]]
-    [control
-     ["[0]" try {"+" Try}]
-     ["[0]" exception {"+" exception:}]]
-    [data
-     ["[0]" text
-      ["%" format {"+" format}]]
-     [collection
-      ["[0]" dictionary {"+" Dictionary}]
-      ["[0]" set {"+" Set}]
-      ["[0]" list ("[1]#[0]" mix)]]]]]
-  ["[0]" // "_"
-   ["[1]" profile {"+" Name Profile}]])
+ [library
+  [lux "*"
+   [abstract
+    [equivalence {"+" Equivalence}]
+    [monoid {"+" Monoid}]
+    ["[0]" monad {"+" do}]]
+   [control
+    ["[0]" try {"+" Try}]
+    ["[0]" exception {"+" exception:}]]
+   [data
+    ["[0]" text
+     ["%" format {"+" format}]]
+    [collection
+     ["[0]" dictionary {"+" Dictionary}]
+     ["[0]" set {"+" Set}]
+     ["[0]" list ("[1]#[0]" mix)]]]]]
+ ["[0]" // "_"
+  ["[1]" profile {"+" Name Profile}]])
 
 (def: .public file
   "project.lux")
@@ -56,17 +56,17 @@
   (case (dictionary.value name project)
     {.#Some profile}
     (case (list.example (set.member? lineage)
-                        (value@ //.#parents profile))
+                        (the //.#parents profile))
       {.#Some ouroboros}
       (exception.except ..circular_dependency [ouroboros name])
       
       {.#None}
       (do [! try.monad]
         [parents (monad.each ! (profile' (set.has name lineage) project)
-                             (value@ //.#parents profile))]
+                             (the //.#parents profile))]
         (in (list#mix (function (_ parent child)
                         (# //.monoid composite child parent))
-                      (with@ //.#parents (list) profile)
+                      (has //.#parents (list) profile)
                       parents))))
     
     {.#None}
-- 
cgit v1.2.3