diff options
| author | Eduardo Julian | 2022-06-16 00:48:19 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2022-06-16 00:48:19 -0400 |
| commit | 9e2f1e76f2c8df01ed7687d934c3210fcf676bd6 (patch) | |
| tree | 115fab5bd8a5f53dc0d13ce5453095324a83496f /stdlib/source/documentation/lux/control/function/mutual.lux | |
| parent | f92c806ee8da63f04bbefbf558f6249bacdb47ea (diff) | |
De-sigil-ification: suffix : [Part 13]
Diffstat (limited to 'stdlib/source/documentation/lux/control/function/mutual.lux')
| -rw-r--r-- | stdlib/source/documentation/lux/control/function/mutual.lux | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/stdlib/source/documentation/lux/control/function/mutual.lux b/stdlib/source/documentation/lux/control/function/mutual.lux index 010178e9f..f8f19255e 100644 --- a/stdlib/source/documentation/lux/control/function/mutual.lux +++ b/stdlib/source/documentation/lux/control/function/mutual.lux @@ -1,6 +1,6 @@ (.using [library - [lux (.except let def:) + [lux (.except let def) ["$" documentation (.only documentation:)] [data [text (.only \n) @@ -26,9 +26,9 @@ (and (even? 4) (odd? 5)))]) -(documentation: /.def: +(documentation: /.def "Globally-defined mutually-recursive functions." - [(def: + [(def [.public (even? number) (-> Nat Bit) (case number @@ -41,10 +41,10 @@ 0 false _ (even? (-- number)))])]) -(.def: .public documentation +(.def .public documentation (.List $.Module) ($.module /._ "" [..let - ..def:] + ..def] [])) |