diff options
Diffstat (limited to '')
-rw-r--r-- | stdlib/source/documentation/lux/control/function/mutual.lux | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/stdlib/source/documentation/lux/control/function/mutual.lux b/stdlib/source/documentation/lux/control/function/mutual.lux index e8ea1d7e2..05c89af6c 100644 --- a/stdlib/source/documentation/lux/control/function/mutual.lux +++ b/stdlib/source/documentation/lux/control/function/mutual.lux @@ -12,7 +12,7 @@ (.List $.Module) ($.module /._ "" - [($.documentation /.let + [($.definition /.let "Locally-defined mutually-recursive functions." [(let [(even? number) (-> Nat Bit) @@ -28,7 +28,7 @@ (and (even? 4) (odd? 5)))]) - ($.documentation /.def + ($.definition /.def "Globally-defined mutually-recursive functions." [(def [.public (even? number) |