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_4.md | 10 +++++-----
 1 file changed, 5 insertions(+), 5 deletions(-)

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

diff --git a/documentation/book/the_lux_programming_language/chapter_4.md b/documentation/book/the_lux_programming_language/chapter_4.md
index 201d0cc28..210cea258 100644
--- a/documentation/book/the_lux_programming_language/chapter_4.md
+++ b/documentation/book/the_lux_programming_language/chapter_4.md
@@ -23,8 +23,8 @@ What is its type?
 Well, I'm glad you asked.
 
 ```clojure
-(: (-> Nat Nat)
-   (function (plus_two x) (++ (++ x))))
+(is (-> Nat Nat)
+    (function (plus_two x) (++ (++ x))))
 ```
 
 That `->` thingie you see there is a macro for generating function types.
@@ -53,9 +53,9 @@ Well, we just need to define it!
 
 ```clojure
 (def plus_two
-  (: (-> Nat Nat)
-     (function (_ x)
-       (++ (++ x)))))
+  (is (-> Nat Nat)
+      (function (_ x)
+        (++ (++ x)))))
 ```
 
 Or, alternatively:
-- 
cgit v1.2.3