De-sigil-ification: $

3 files changed, 103 insertions, 103 deletions

diff --git a/stdlib/source/test/aedifex/artifact/time.lux b/stdlib/source/test/aedifex/artifact/time.lux
index 671fbfdfa..d8f67e45a 100644
--- a/stdlib/source/test/aedifex/artifact/time.lux
+++ b/stdlib/source/test/aedifex/artifact/time.lux
@@ -1,26 +1,26 @@
 (.using
-  [library
-   [lux "*"
-    ["_" test {"+" Test}]
-    [abstract
-     [monad {"+" do}]
-     [\\specification
-      ["$[0]" equivalence]]]
-    [control
-     ["[0]" try ("[1]#[0]" functor)]
-     [parser
-      ["<[0]>" text]]]
-    [time
-     ["[0]" instant ("[1]#[0]" equivalence)]]
-    [math
-     ["[0]" random {"+" Random}]
-     [number
-      ["i" int]]]]]
-  [\\program
-   ["[0]" /]]
-  ["[0]" / "_"
-   ["[1][0]" date]
-   ["[1][0]" time]])
+ [library
+  [lux "*"
+   ["_" test {"+" Test}]
+   [abstract
+    [monad {"+" do}]
+    [\\specification
+     ["$[0]" equivalence]]]
+   [control
+    ["[0]" try ("[1]#[0]" functor)]
+    [parser
+     ["<[0]>" text]]]
+   [time
+    ["[0]" instant ("[1]#[0]" equivalence)]]
+   [math
+    ["[0]" random {"+" Random}]
+    [number
+     ["i" int]]]]]
+ [\\program
+  ["[0]" /]]
+ ["[0]" / "_"
+  ["[1][0]" date]
+  ["[1][0]" time]])
 
 (def: .public random
   (Random /.Time)
@@ -33,29 +33,29 @@
   Test
   (<| (_.covering /._)
       (_.for [/.Time])
-      ($_ _.and
-          (_.for [/.equivalence]
-                 ($equivalence.spec /.equivalence ..random))
+      (all _.and
+           (_.for [/.equivalence]
+                  ($equivalence.spec /.equivalence ..random))
 
-          (do random.monad
-            [expected ..random]
-            (_.cover [/.format /.parser]
-                     (|> expected
-                         /.format
-                         (<text>.result /.parser)
-                         (try#each (# /.equivalence = expected))
-                         (try.else false))))
-          (do random.monad
-            [expected ..random]
-            (_.cover [/.instant /.of_instant]
-                     (|> expected
-                         /.instant
-                         /.of_instant
-                         (try#each (# /.equivalence = expected))
-                         (try.else false))))
-          (_.cover [/.epoch]
-                   (instant#= instant.epoch (/.instant /.epoch)))
+           (do random.monad
+             [expected ..random]
+             (_.cover [/.format /.parser]
+                      (|> expected
+                          /.format
+                          (<text>.result /.parser)
+                          (try#each (# /.equivalence = expected))
+                          (try.else false))))
+           (do random.monad
+             [expected ..random]
+             (_.cover [/.instant /.of_instant]
+                      (|> expected
+                          /.instant
+                          /.of_instant
+                          (try#each (# /.equivalence = expected))
+                          (try.else false))))
+           (_.cover [/.epoch]
+                    (instant#= instant.epoch (/.instant /.epoch)))
 
-          /date.test
-          /time.test
-          )))
+           /date.test
+           /time.test
+           )))
diff --git a/stdlib/source/test/aedifex/artifact/time/date.lux b/stdlib/source/test/aedifex/artifact/time/date.lux
index dfca44e0d..9f5169d78 100644
--- a/stdlib/source/test/aedifex/artifact/time/date.lux
+++ b/stdlib/source/test/aedifex/artifact/time/date.lux
@@ -1,26 +1,26 @@
 (.using
-  [library
-   [lux "*"
-    ["_" test {"+" Test}]
-    [abstract
-     [monad {"+" do}]
-     [\\specification
-      ["$[0]" equivalence]]]
-    [control
-     ["[0]" try ("[1]#[0]" functor)]
-     ["[0]" exception]
-     [parser
-      ["<[0]>" text]]]
-    [math
-     ["[0]" random {"+" Random}]
-     [number
-      ["n" nat]
-      ["i" int]]]
-    [time
-     ["[0]" date ("[1]#[0]" equivalence)]
-     ["[0]" year]]]]
-  [\\program
-   ["[0]" /]])
+ [library
+  [lux "*"
+   ["_" test {"+" Test}]
+   [abstract
+    [monad {"+" do}]
+    [\\specification
+     ["$[0]" equivalence]]]
+   [control
+    ["[0]" try ("[1]#[0]" functor)]
+    ["[0]" exception]
+    [parser
+     ["<[0]>" text]]]
+   [math
+    ["[0]" random {"+" Random}]
+    [number
+     ["n" nat]
+     ["i" int]]]
+   [time
+    ["[0]" date ("[1]#[0]" equivalence)]
+    ["[0]" year]]]]
+ [\\program
+  ["[0]" /]])
 
 (def: .public random
   (Random /.Date)
@@ -41,29 +41,29 @@
       (do random.monad
         [expected ..random
          candidate random.date]
-        ($_ _.and
-            (_.for [/.equivalence]
-                   ($equivalence.spec /.equivalence ..random))
+        (all _.and
+             (_.for [/.equivalence]
+                    ($equivalence.spec /.equivalence ..random))
 
-            (_.cover [/.format /.parser]
-                     (|> expected
-                         /.format
-                         (<text>.result /.parser)
-                         (try#each (# /.equivalence = expected))
-                         (try.else false)))
-            (_.cover [/.value /.date]
-                     (|> expected
-                         /.value
-                         /.date
-                         (try#each (# /.equivalence = expected))
-                         (try.else false)))
-            (_.cover [/.year_is_out_of_range]
-                     (case (/.date candidate)
-                       {try.#Success date}
-                       (same? candidate (/.value date))
-                       
-                       {try.#Failure error}
-                       (exception.match? /.year_is_out_of_range error)))
-            (_.cover [/.epoch]
-                     (date#= date.epoch (/.value /.epoch)))
-            ))))
+             (_.cover [/.format /.parser]
+                      (|> expected
+                          /.format
+                          (<text>.result /.parser)
+                          (try#each (# /.equivalence = expected))
+                          (try.else false)))
+             (_.cover [/.value /.date]
+                      (|> expected
+                          /.value
+                          /.date
+                          (try#each (# /.equivalence = expected))
+                          (try.else false)))
+             (_.cover [/.year_is_out_of_range]
+                      (case (/.date candidate)
+                        {try.#Success date}
+                        (same? candidate (/.value date))
+                        
+                        {try.#Failure error}
+                        (exception.match? /.year_is_out_of_range error)))
+             (_.cover [/.epoch]
+                      (date#= date.epoch (/.value /.epoch)))
+             ))))
diff --git a/stdlib/source/test/aedifex/artifact/time/time.lux b/stdlib/source/test/aedifex/artifact/time/time.lux
index 64155f029..da0589d93 100644
--- a/stdlib/source/test/aedifex/artifact/time/time.lux
+++ b/stdlib/source/test/aedifex/artifact/time/time.lux
@@ -28,13 +28,13 @@
   Test
   (<| (_.covering /._)
       (_.for [/.Time])
-      ($_ _.and
-          (do random.monad
-            [expected ..random]
-            (_.cover [/.format /.parser]
-                     (|> expected
-                         /.format
-                         (<text>.result /.parser)
-                         (try#each (# time.equivalence = expected))
-                         (try.else false))))
-          )))
+      (all _.and
+           (do random.monad
+             [expected ..random]
+             (_.cover [/.format /.parser]
+                      (|> expected
+                          /.format
+                          (<text>.result /.parser)
+                          (try#each (# time.equivalence = expected))
+                          (try.else false))))
+           )))