De-sigil-ification: prefix :

1 files changed, 26 insertions, 26 deletions

diff --git a/stdlib/source/library/lux/control/security/capability.lux b/stdlib/source/library/lux/control/security/capability.lux
index f66ce87c4..b23ddf2e6 100644
--- a/stdlib/source/library/lux/control/security/capability.lux
+++ b/stdlib/source/library/lux/control/security/capability.lux
@@ -1,27 +1,27 @@
 (.using
-  [library
-   [lux "*"
-    [abstract
-     [monad {"+" do}]]
-    [control
-     ["[0]" io {"+" IO}]
-     ["<>" parser
-      ["<c>" code]]
-     [concurrency
-      ["[0]" async {"+" Async}]]]
-    [data
-     [text
-      ["%" format {"+" format}]]
-     [collection
-      ["[0]" list ("[1]#[0]" functor)]]]
-    [type
-     abstract]
-    ["[0]" meta]
-    ["[0]" macro
-     ["[0]" code]
-     [syntax {"+" syntax:}
-      ["|[0]|" export]
-      ["|[0]|" declaration]]]]])
+ [library
+  [lux "*"
+   [abstract
+    [monad {"+" do}]]
+   [control
+    ["[0]" io {"+" IO}]
+    ["<>" parser
+     ["<c>" code]]
+    [concurrency
+     ["[0]" async {"+" Async}]]]
+   [data
+    [text
+     ["%" format {"+" format}]]
+    [collection
+     ["[0]" list ("[1]#[0]" functor)]]]
+   [type
+    [abstract {"-" pattern}]]
+   ["[0]" meta]
+   ["[0]" macro
+    ["[0]" code]
+    [syntax {"+" syntax:}
+     ["|[0]|" export]
+     ["|[0]|" declaration]]]]])
 
 (abstract: .public (Capability brand input output)
   (-> input output)
@@ -30,14 +30,14 @@
     (All (_ brand input output)
       (-> (-> input output)
           (Capability brand input output)))
-    (|>> :abstraction))
+    (|>> abstraction))
 
   (def: .public (use capability input)
     (All (_ brand input output)
       (-> (Capability brand input output)
           input
           output))
-    ((:representation capability) input))
+    ((representation capability) input))
 
   (syntax: .public (capability: [[export_policy declaration [forger input output]]
                                  (|export|.parser
@@ -65,5 +65,5 @@
     (All (_ brand input output)
       (-> (Capability brand input (IO output))
           (Capability brand input (Async output))))
-    (..capability (|>> ((:representation capability)) async.future)))
+    (..capability (|>> ((representation capability)) async.future)))
   )