Extracted Licentia out of the standard library.

1 files changed, 11 insertions, 10 deletions

diff --git a/stdlib/source/program/licentia/license/notice.lux b/licentia/source/program/licentia/license/notice.lux
index 219af97f4..7ee61397a 100644
--- a/stdlib/source/program/licentia/license/notice.lux
+++ b/licentia/source/program/licentia/license/notice.lux
@@ -1,12 +1,13 @@
 (.module:
   [lux #*
    [data
-    [number
-     ["n" nat]]
     ["." text
      ["%" format (#+ format)]]
     [collection
-     ["." list ("#\." functor)]]]]
+     ["." list ("#\." functor)]]]
+   [math
+    [number
+     ["n" nat]]]]
   ["." // #_
    ["#." time]
    ["#." copyright]
@@ -14,19 +15,19 @@
    [//
     ["$" document]]])
 
-(def: #export end-of-license
+(def: #export end_of_license
   ($.sentence "END OF TERMS AND CONDITIONS"))
 
-(def: #export (copyright-holder holder)
+(def: #export (copyright_holder holder)
   (-> //copyright.Holder Text)
   (let [(^slots [#//time.start #//time.end]) (get@ #//copyright.period holder)
-        single-year? (n.= start end)
-        period-section (if single-year?
+        single_year? (n.= start end)
+        period_section (if single_year?
                          (%.nat start)
                          (format (%.nat start) "-" (%.nat end)))]
-    (format "Copyright (C) " period-section " " (get@ #//copyright.name holder))))
+    (format "Copyright (C) " period_section " " (get@ #//copyright.name holder))))
 
 (def: #export copyright
   (-> (List //copyright.Holder) Text)
-  (|>> (list\map ..copyright-holder)
-       (text.join-with text.new-line)))
+  (|>> (list\map ..copyright_holder)
+       (text.join_with text.new_line)))