From 0f9bc13a34b729d9ae9db31276feb2a66785d06b Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Sun, 14 Aug 2022 21:02:22 -0400
Subject: Documentation changes for v0.7.0

---
 documentation/book/the_lux_programming_language/chapter_9.md | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

(limited to 'documentation/book/the_lux_programming_language/chapter_9.md')

diff --git a/documentation/book/the_lux_programming_language/chapter_9.md b/documentation/book/the_lux_programming_language/chapter_9.md
index a01740f09..175ad8486 100644
--- a/documentation/book/the_lux_programming_language/chapter_9.md
+++ b/documentation/book/the_lux_programming_language/chapter_9.md
@@ -25,7 +25,7 @@ But the Lux compiler opens itself for usage within Lux programs and provides Lux
 The `Lux` type enters the stage.
 
 ```clojure
-(type: .public Lux
+(type .public Lux
   (Rec Lux
     (Record
      [#info            Info
@@ -60,7 +60,7 @@ You can actually write computations that can read and even modify (_careful with
 
 This turns out to be massively useful when implementing a variety of powerful macros.
 
-For example, remember the `use` and `#` macros from [chapter 7](chapter_7.md)?
+For example, remember the `use` and `at` macros from [chapter 7](chapter_7.md)?
 
 They actually look up the typing information for the structures you give them to figure out the names of members and generate the code necessary to get that functionality going.
 
@@ -81,7 +81,7 @@ I won't go into detail about what's available, but you'll quickly get an idea of
 However, one thing I _will_ say is that those functions rely heavily on the `Meta` type, which is defined thusly:
 
 ```clojure
-(type: .public (Meta a)
+(type .public (Meta a)
   (-> Lux (Either Text [Lux a])))
 ```
 
-- 
cgit v1.2.3