diff options
author | Eduardo Julian | 2022-08-14 21:02:22 -0400 |
---|---|---|
committer | Eduardo Julian | 2022-08-14 21:02:22 -0400 |
commit | 0f9bc13a34b729d9ae9db31276feb2a66785d06b (patch) | |
tree | 25f8ec214bfe56f7dc7d8be637b06d1ab6a425f6 /documentation/book/the_lux_programming_language/chapter_4.md | |
parent | 24e4ccef052816f17ccfc55f2e515a07cc9c2067 (diff) |
Documentation changes for v0.7.0
Diffstat (limited to 'documentation/book/the_lux_programming_language/chapter_4.md')
-rw-r--r-- | documentation/book/the_lux_programming_language/chapter_4.md | 10 |
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: |