1 files changed, 42 insertions, 41 deletions
diff --git a/stdlib/source/poly/lux/data/format/json.lux b/stdlib/source/poly/lux/data/format/json.lux
index 3022a59a8..d7409df9f 100644
--- a/stdlib/source/poly/lux/data/format/json.lux
+++ b/stdlib/source/poly/lux/data/format/json.lux
@@ -1,45 +1,46 @@
 (.module: {#.doc "Codecs for values in the JSON format."}
-  [lux #*
-   ["." debug]
-   [abstract
-    [monad (#+ Monad do)]
-    [equivalence (#+ Equivalence)]
-    ["." codec]]
-   [control
-    ["." try]
-    ["<>" parser
-     ["<.>" type]
-     ["</>" json]]]
-   [data
-    ["." bit]
-    maybe
-    ["." sum]
-    ["." product]
-    ["." text ("#\." equivalence)
-     ["%" format (#+ format)]]
-    [collection
-     ["." list ("#\." fold monad)]
-     ["." row (#+ Row row) ("#\." monad)]
-     ["d" dictionary]]]
-   [macro
-    [syntax (#+ syntax:)]
-    ["." code]
-    ["." poly (#+ poly:)]]
-   [math
-    [number
-     ["." i64]
-     ["n" nat ("#\." decimal)]
-     ["." int]
-     ["." frac ("#\." decimal)]]]
-   [time
-    ## ["." instant]
-    ## ["." duration]
-    ["." date]
-    ["." day]
-    ["." month]]
-   ["." type
-    ["." unit]]]
-  [\\
+  [library
+   [lux #*
+    ["." debug]
+    [abstract
+     [monad (#+ Monad do)]
+     [equivalence (#+ Equivalence)]
+     ["." codec]]
+    [control
+     ["." try]
+     ["<>" parser
+      ["<.>" type]
+      ["</>" json]]]
+    [data
+     ["." bit]
+     maybe
+     ["." sum]
+     ["." product]
+     ["." text ("#\." equivalence)
+      ["%" format (#+ format)]]
+     [collection
+      ["." list ("#\." fold monad)]
+      ["." row (#+ Row row) ("#\." monad)]
+      ["d" dictionary]]]
+    [macro
+     [syntax (#+ syntax:)]
+     ["." code]
+     ["." poly (#+ poly:)]]
+    [math
+     [number
+      ["." i64]
+      ["n" nat ("#\." decimal)]
+      ["." int]
+      ["." frac ("#\." decimal)]]]
+    [time
+     ## ["." instant]
+     ## ["." duration]
+     ["." date]
+     ["." day]
+     ["." month]]
+    ["." type
+     ["." unit]]]]
+  [\\library
    ["." / (#+ JSON)]])
 
 (def: tag