From 049dcdc0c6dc678786dbf854a20385fb6ef06f9a Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Sun, 12 Feb 2023 02:54:39 -0400
Subject: Added an abstraction for interest rates.

---
 stdlib/source/documentation/lux.lux           | 5 -----
 stdlib/source/documentation/lux/meta/type.lux | 8 +++++++-
 2 files changed, 7 insertions(+), 6 deletions(-)

(limited to 'stdlib/source/documentation')

diff --git a/stdlib/source/documentation/lux.lux b/stdlib/source/documentation/lux.lux
index 01614c02b..24ea6295c 100644
--- a/stdlib/source/documentation/lux.lux
+++ b/stdlib/source/documentation/lux.lux
@@ -301,11 +301,6 @@
               ($.comment "=>")
               ($.example #1))
 
-            ($.definition /.type
-              "Takes a type expression and returns its representation as data-structure."
-              ($.example (type_literal (All (_ a)
-                                         (Maybe (List a))))))
-
             ($.definition /.is
               "The type-annotation macro."
               ($.example (is (List Int)
diff --git a/stdlib/source/documentation/lux/meta/type.lux b/stdlib/source/documentation/lux/meta/type.lux
index 778298d1f..72d876cb5 100644
--- a/stdlib/source/documentation/lux/meta/type.lux
+++ b/stdlib/source/documentation/lux/meta/type.lux
@@ -262,13 +262,19 @@
                                                (foo expression)))
                                        (Bar a b c))))
                       ($.comment "=>")
-                      ($.example (.type_literal (Bar Bit Nat Text))))
+                      ($.example (/.literal (Bar Bit Nat Text))))
 
                     ($.definition /.let
                       "Local bindings for types."
                       ($.example (let [side (Either Int Frac)]
                                    (List [side side]))))
 
+                    ($.definition /.literal
+                      "Takes a type expression and returns its representation as data-structure."
+                      ($.example (/.literal
+                                  (All (_ of)
+                                    (Maybe (List of))))))
+
                     (all list#composite
                          ..\\parser
 
-- 
cgit v1.2.3