diff options
| author | Eduardo Julian | 2022-06-16 21:37:38 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2022-06-16 21:37:38 -0400 |
| commit | 7249707e7c09be68dfb7507ba363efd3300a0141 (patch) | |
| tree | 1fb4764458da16353315ea7e267f997c9be70f49 /licentia/source/test | |
| parent | e00e0b5f1e5fb509cf8f32424397110f524b8148 (diff) | |
De-sigil-ification: suffix : [Part 14]
Diffstat (limited to '')
| -rw-r--r-- | licentia/source/test/licentia.lux | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/licentia/source/test/licentia.lux b/licentia/source/test/licentia.lux index c063260ae..d00497877 100644 --- a/licentia/source/test/licentia.lux +++ b/licentia/source/test/licentia.lux @@ -1,4 +1,4 @@ -(.using +(.require [library [lux (.except) [program (.only program:)] @@ -7,16 +7,16 @@ [monad (.only do)]] [control ["[0]" io] - ["[0]" maybe (.open: "[1]#[0]" functor)]] + ["[0]" maybe (.use "[1]#[0]" functor)]] [data - ["[0]" bit (.open: "[1]#[0]" equivalence)] + ["[0]" bit (.use "[1]#[0]" equivalence)] ["[0]" text] [collection - ["[0]" list (.open: "[1]#[0]" functor)]]] + ["[0]" list (.use "[1]#[0]" functor)]]] [math ["[0]" random (.only Random)] [number - ["n" nat (.open: "[1]#[0]" interval)]]]]] + ["n" nat (.use "[1]#[0]" interval)]]]]] [\\program ["[0]" output] ["[0]" license (.only Identification |