From 0d909187d5b9effcd08f533d50af7d29c0d6bfd8 Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Fri, 8 Apr 2022 05:42:36 -0400
Subject: De-sigil-ification: $

---
 stdlib/source/test/aedifex/artifact/versioning.lux | 90 +++++++++++-----------
 1 file changed, 45 insertions(+), 45 deletions(-)

(limited to 'stdlib/source/test/aedifex/artifact/versioning.lux')

diff --git a/stdlib/source/test/aedifex/artifact/versioning.lux b/stdlib/source/test/aedifex/artifact/versioning.lux
index 5a14e9638..bc029a46a 100644
--- a/stdlib/source/test/aedifex/artifact/versioning.lux
+++ b/stdlib/source/test/aedifex/artifact/versioning.lux
@@ -1,54 +1,54 @@
 (.using
-  [library
-   [lux "*"
-    ["_" test {"+" Test}]
-    [abstract
-     [monad {"+" do}]
-     [\\specification
-      ["$[0]" equivalence]]]
-    [control
-     ["[0]" try ("[1]#[0]" functor)]
-     [parser
-      ["<[0]>" xml]]]
-    [math
-     ["[0]" random {"+" Random}]]]]
-  [\\program
-   ["[0]" /]]
-  ["$[0]" // "_"
-   ["[1][0]" time]
-   ["[1][0]" snapshot
-    ["[1]/[0]" version]]])
+ [library
+  [lux "*"
+   ["_" test {"+" Test}]
+   [abstract
+    [monad {"+" do}]
+    [\\specification
+     ["$[0]" equivalence]]]
+   [control
+    ["[0]" try ("[1]#[0]" functor)]
+    [parser
+     ["<[0]>" xml]]]
+   [math
+    ["[0]" random {"+" Random}]]]]
+ [\\program
+  ["[0]" /]]
+ ["$[0]" // "_"
+  ["[1][0]" time]
+  ["[1][0]" snapshot
+   ["[1]/[0]" version]]])
 
 (def: .public random
   (Random /.Versioning)
-  ($_ random.and
-      $//snapshot.random
-      $//time.random
-      (random.list 5 $//snapshot/version.random)
-      ))
+  (all random.and
+       $//snapshot.random
+       $//time.random
+       (random.list 5 $//snapshot/version.random)
+       ))
 
 (def: .public test
   Test
   (<| (_.covering /._)
       (_.for [/.Versioning])
-      ($_ _.and
-          (_.for [/.equivalence]
-                 ($equivalence.spec /.equivalence ..random))
-          
-          (do random.monad
-            [expected ..random]
-            (_.cover [/.format /.parser]
-                     (|> expected
-                         /.format
-                         list
-                         (<xml>.result /.parser)
-                         (try#each (# /.equivalence = expected))
-                         (try.else false))))
-          (_.cover [/.init]
-                   (|> /.init
-                       /.format
-                       list
-                       (<xml>.result /.parser)
-                       (try#each (# /.equivalence = /.init))
-                       (try.else false)))
-          )))
+      (all _.and
+           (_.for [/.equivalence]
+                  ($equivalence.spec /.equivalence ..random))
+           
+           (do random.monad
+             [expected ..random]
+             (_.cover [/.format /.parser]
+                      (|> expected
+                          /.format
+                          list
+                          (<xml>.result /.parser)
+                          (try#each (# /.equivalence = expected))
+                          (try.else false))))
+           (_.cover [/.init]
+                    (|> /.init
+                        /.format
+                        list
+                        (<xml>.result /.parser)
+                        (try#each (# /.equivalence = /.init))
+                        (try.else false)))
+           )))
-- 
cgit v1.2.3