diff options
author | Eduardo Julian | 2021-09-06 00:37:49 -0400 |
---|---|---|
committer | Eduardo Julian | 2021-09-06 00:37:49 -0400 |
commit | 06c5f9af1d7aa291ae8e7bdd75af57bbe0684193 (patch) | |
tree | 44fa917bf4b5299ec53a368448255eeccbe78be7 /stdlib/source/library/lux.lux | |
parent | 132ffdae1add622c8a3c6065d7730a8fe8ea5e78 (diff) |
Documentation improvements.
Diffstat (limited to 'stdlib/source/library/lux.lux')
-rw-r--r-- | stdlib/source/library/lux.lux | 9 |
1 files changed, 5 insertions, 4 deletions
diff --git a/stdlib/source/library/lux.lux b/stdlib/source/library/lux.lux index 1043560c9..5b6a2ba6e 100644 --- a/stdlib/source/library/lux.lux +++ b/stdlib/source/library/lux.lux @@ -276,10 +276,11 @@ ... (type: .public Code ... (Ann Location (Code' (Ann Location)))) ("lux def" Code - (#Named ["library/lux" "Code"] - ({w - (#Apply (#Apply w Code') w)} - ("lux type check type" (#Apply Location Ann)))) + ("lux type check type" + (#Named ["library/lux" "Code"] + ({w + (#Apply (#Apply w Code') w)} + ("lux type check type" (#Apply Location Ann))))) [dummy_location (#Record #End)] #1) |