aboutsummaryrefslogtreecommitdiff
path: root/documentation/book/the_lux_programming_language/chapter_4.md
diff options
context:
space:
mode:
Diffstat (limited to 'documentation/book/the_lux_programming_language/chapter_4.md')
-rw-r--r--documentation/book/the_lux_programming_language/chapter_4.md10
1 files changed, 5 insertions, 5 deletions
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: