diff options
Diffstat (limited to '')
| -rw-r--r-- | licentia/source/program/licentia/output.lux | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/licentia/source/program/licentia/output.lux b/licentia/source/program/licentia/output.lux index fb0b655ec..43599e39b 100644 --- a/licentia/source/program/licentia/output.lux +++ b/licentia/source/program/licentia/output.lux @@ -2,13 +2,13 @@ [library [lux (.except Definition) [control - ["[0]" maybe ("[1]#[0]" functor)]] + ["[0]" maybe (.open: "[1]#[0]" functor)]] [data ["[0]" bit] ["[0]" text ["%" format (.only format)]] [collection - ["[0]" list ("[1]#[0]" functor monoid)]]]]] + ["[0]" list (.open: "[1]#[0]" functor monoid)]]]]] [// ["[0]" license (.only Identification Termination |