diff options
| author | Eduardo Julian | 2022-07-08 17:47:23 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2022-07-08 17:47:23 -0400 |
| commit | 7976268575e7c6910dfba2d2733e8cc1883678e7 (patch) | |
| tree | 0ce156081612235c0df5e2ad9167be3fc5d75c6c /stdlib/source/documentation/lux/control/function/mutual.lux | |
| parent | 39325bb36c6f6459c861ef12f9e99b9e66b52594 (diff) | |
Re-named the "documentation" macro to "definition".
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) |