1 files changed, 33 insertions, 33 deletions
diff --git a/stdlib/source/program/aedifex/package.lux b/stdlib/source/program/aedifex/package.lux
index 841a0e581..fa0fb33af 100644
--- a/stdlib/source/program/aedifex/package.lux
+++ b/stdlib/source/program/aedifex/package.lux
@@ -1,32 +1,32 @@
 (.using
-  [library
-   [lux {"-" local}
-    [abstract
-     [equivalence {"+" Equivalence}]]
-    [control
-     ["[0]" try {"+" Try} ("[1]#[0]" functor)]
-     [parser
-      ["<[0]>" xml]]]
-    [data
-     ["[0]" sum]
-     ["[0]" product]
-     ["[0]" binary {"+" Binary}]
-     [text
-      [encoding
-       ["[0]" utf8]]]
-     [format
-      ["[0]" xml {"+" XML}]]
-     [collection
-      [set {"+" Set}]]]]]
-  ["[0]" // "_"
-   ["/" profile]
-   ["[1][0]" hash]
-   ["[1][0]" pom]
-   [dependency {"+" Dependency}
-    ["[1][0]" status {"+" Status}]]
-   [repository
-    [remote {"+" Address}]
-    ["[1][0]" origin {"+" Origin}]]])
+ [library
+  [lux {"-" local}
+   [abstract
+    [equivalence {"+" Equivalence}]]
+   [control
+    ["[0]" try {"+" Try} ("[1]#[0]" functor)]
+    [parser
+     ["<[0]>" xml]]]
+   [data
+    ["[0]" sum]
+    ["[0]" product]
+    ["[0]" binary {"+" Binary}]
+    [text
+     [encoding
+      ["[0]" utf8]]]
+    [format
+     ["[0]" xml {"+" XML}]]
+    [collection
+     [set {"+" Set}]]]]]
+ ["[0]" // "_"
+  ["/" profile]
+  ["[1][0]" hash]
+  ["[1][0]" pom]
+  [dependency {"+" Dependency}
+   ["[1][0]" status {"+" Status}]]
+  [repository
+   [remote {"+" Address}]
+   ["[1][0]" origin {"+" Origin}]]])
 
 (type: .public Package
   (Record
@@ -37,7 +37,7 @@
 (template [<name> <tag>]
   [(def: .public (<name> package)
      (-> Package Bit)
-     (case (value@ #origin package)
+     (case (the #origin package)
        {<tag> _}
        true
        
@@ -62,19 +62,19 @@
 
 (def: .public dependencies
   (-> Package (Try (Set Dependency)))
-  (|>> (value@ #pom)
+  (|>> (the #pom)
        product.left
        list
        (<xml>.result //pom.parser)
-       (try#each (value@ /.#dependencies))))
+       (try#each (the /.#dependencies))))
 
 (def: .public repositories
   (-> Package (Try (Set Address)))
-  (|>> (value@ #pom)
+  (|>> (the #pom)
        product.left
        list
        (<xml>.result //pom.parser)
-       (try#each (value@ /.#repositories))))
+       (try#each (the /.#repositories))))
 
 (def: .public equivalence
   (Equivalence Package)