diff options
Diffstat (limited to '')
-rw-r--r-- | licentia/source/program/licentia/license/notice.lux | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/licentia/source/program/licentia/license/notice.lux b/licentia/source/program/licentia/license/notice.lux index 7ade12fc8..33ea7362e 100644 --- a/licentia/source/program/licentia/license/notice.lux +++ b/licentia/source/program/licentia/license/notice.lux @@ -2,16 +2,16 @@ [library [lux "*" [data - ["." text + ["[0]" text ["%" format {"+" [format]}]] [collection - ["." list ("#\." functor)]]] + ["[0]" list ("[1]\[0]" functor)]]] [math [number ["n" nat]]]]] - ["." // "_" - ["#." time] - ["#." copyright] + ["[0]" // "_" + ["[1][0]" time] + ["[1][0]" copyright] ["_" term] [// ["$" document]]]) |