De-sigil-ification: @

2 files changed, 94 insertions, 94 deletions

diff --git a/stdlib/source/test/aedifex/metadata/artifact.lux b/stdlib/source/test/aedifex/metadata/artifact.lux
index a77881197..bf94bf600 100644
--- a/stdlib/source/test/aedifex/metadata/artifact.lux
+++ b/stdlib/source/test/aedifex/metadata/artifact.lux
@@ -1,45 +1,45 @@
 (.using
-  [library
-   [lux "*"
-    ["_" test {"+" Test}]
-    [abstract
-     [monad {"+" do}]
-     [\\specification
-      ["$[0]" equivalence]]]
-    [control
-     ["[0]" maybe]
-     ["[0]" try ("[1]#[0]" functor)]
-     [parser
-      ["[0]" environment]
-      ["<[0]>" xml]]
-     [concurrency
-      ["[0]" async]]]
-    [data
-     ["[0]" text ("[1]#[0]" equivalence)]
-     [collection
-      ["[0]" list]]]
-    [macro
-     ["[0]" code]]
-    [math
-     ["[0]" random {"+" Random}]
-     [number
-      ["n" nat]]]
-    ["[0]" time
-     ["[0]" date]
-     ["[0]" year]
-     ["[0]" month]
-     ["[0]" instant]
-     ["[0]" duration]]
-    [world
-     ["[0]" file]
-     ["[0]" program]]]]
-  [\\program
-   ["[0]" /
-    ["/[1]" //
-     ["/[1]" // "_"
-      ["[1][0]" artifact]
-      ["[1][0]" repository "_"
-       ["[1]/[0]" local]]]]]])
+ [library
+  [lux "*"
+   ["_" test {"+" Test}]
+   [abstract
+    [monad {"+" do}]
+    [\\specification
+     ["$[0]" equivalence]]]
+   [control
+    ["[0]" maybe]
+    ["[0]" try ("[1]#[0]" functor)]
+    [parser
+     ["[0]" environment]
+     ["<[0]>" xml]]
+    [concurrency
+     ["[0]" async]]]
+   [data
+    ["[0]" text ("[1]#[0]" equivalence)]
+    [collection
+     ["[0]" list]]]
+   [macro
+    ["[0]" code]]
+   [math
+    ["[0]" random {"+" Random}]
+    [number
+     ["n" nat]]]
+   ["[0]" time
+    ["[0]" date]
+    ["[0]" year]
+    ["[0]" month]
+    ["[0]" instant]
+    ["[0]" duration]]
+   [world
+    ["[0]" file]
+    ["[0]" program]]]]
+ [\\program
+  ["[0]" /
+   ["/[1]" //
+    ["/[1]" // "_"
+     ["[1][0]" artifact]
+     ["[1][0]" repository "_"
+      ["[1]/[0]" local]]]]]])
 
 (def: .public random
   (Random /.Metadata)
@@ -72,10 +72,10 @@
       (_.for [/.Metadata])
       (do random.monad
         [expected ..random
-         .let [artifact [///artifact.#group (value@ /.#group expected)
-                         ///artifact.#name (value@ /.#name expected)
+         .let [artifact [///artifact.#group (the /.#group expected)
+                         ///artifact.#name (the /.#name expected)
                          ///artifact.#version (|> expected
-                                                  (value@ /.#versions)
+                                                  (the /.#versions)
                                                   list.head
                                                   (maybe.else ""))]]]
         ($_ _.and
diff --git a/stdlib/source/test/aedifex/metadata/snapshot.lux b/stdlib/source/test/aedifex/metadata/snapshot.lux
index d59e79809..4735a6994 100644
--- a/stdlib/source/test/aedifex/metadata/snapshot.lux
+++ b/stdlib/source/test/aedifex/metadata/snapshot.lux
@@ -1,53 +1,53 @@
 (.using
-  [library
-   [lux "*"
-    ["_" test {"+" Test}]
-    [abstract
-     [monad {"+" do}]
-     [\\specification
-      ["$[0]" equivalence]]]
-    [control
-     ["[0]" maybe]
-     ["[0]" try ("[1]#[0]" functor)]
-     [parser
-      ["[0]" environment]
-      ["<[0]>" xml]]
-     [concurrency
-      ["[0]" async]]]
-    [data
-     ["[0]" text ("[1]#[0]" equivalence)]
-     [collection
-      ["[0]" list]]]
-    [macro
-     ["[0]" code]]
-    [math
-     ["[0]" random {"+" Random} ("[1]#[0]" monad)]
-     [number
-      ["n" nat]]]
-    ["[0]" time
-     ["[0]" date]
-     ["[0]" year]
-     ["[0]" month]
-     ["[0]" instant {"+" Instant}]
-     ["[0]" duration]]
-    [world
-     ["[0]" file]
-     ["[0]" program]]]]
-  ["$[0]" /// "_"
-   ["[1][0]" artifact
-    ["[1]/[0]" type]
-    ["[1]/[0]" time]
-    ["[1]/[0]" snapshot "_"
-     ["[1]/[0]" version]]]]
-  [\\program
-   ["[0]" /
-    ["/[1]" //
-     ["/[1]" // "_"
-      [artifact
-       [versioning {"+" Versioning}]
-       ["[1][0]" snapshot]]
-      ["[1][0]" repository "_"
-       ["[1]/[0]" local]]]]]])
+ [library
+  [lux "*"
+   ["_" test {"+" Test}]
+   [abstract
+    [monad {"+" do}]
+    [\\specification
+     ["$[0]" equivalence]]]
+   [control
+    ["[0]" maybe]
+    ["[0]" try ("[1]#[0]" functor)]
+    [parser
+     ["[0]" environment]
+     ["<[0]>" xml]]
+    [concurrency
+     ["[0]" async]]]
+   [data
+    ["[0]" text ("[1]#[0]" equivalence)]
+    [collection
+     ["[0]" list]]]
+   [macro
+    ["[0]" code]]
+   [math
+    ["[0]" random {"+" Random} ("[1]#[0]" monad)]
+    [number
+     ["n" nat]]]
+   ["[0]" time
+    ["[0]" date]
+    ["[0]" year]
+    ["[0]" month]
+    ["[0]" instant {"+" Instant}]
+    ["[0]" duration]]
+   [world
+    ["[0]" file]
+    ["[0]" program]]]]
+ ["$[0]" /// "_"
+  ["[1][0]" artifact
+   ["[1]/[0]" type]
+   ["[1]/[0]" time]
+   ["[1]/[0]" snapshot "_"
+    ["[1]/[0]" version]]]]
+ [\\program
+  ["[0]" /
+   ["/[1]" //
+    ["/[1]" // "_"
+     [artifact
+      [versioning {"+" Versioning}]
+      ["[1][0]" snapshot]]
+     ["[1][0]" repository "_"
+      ["[1]/[0]" local]]]]]])
 
 (def: random_instant
   (Random Instant)
@@ -91,7 +91,7 @@
       (_.for [/.Metadata])
       (do random.monad
         [expected ..random
-         .let [artifact (value@ /.#artifact expected)]]
+         .let [artifact (the /.#artifact expected)]]
         ($_ _.and
             (_.for [/.equivalence]
                    ($equivalence.spec /.equivalence ..random))