From f5e3afe5a5337b5dc840ed0fd6a76244cf0aac6b Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Sun, 19 Jul 2015 22:32:08 -0400
Subject: Added copyright notice on all files that missed it.

---
 input/lux/data/number.lux | 28 ++--------------------------
 input/program.lux         |  8 ++++++++
 2 files changed, 10 insertions(+), 26 deletions(-)

(limited to 'input')

diff --git a/input/lux/data/number.lux b/input/lux/data/number.lux
index 8203d2ecd..e1c10d6b0 100644
--- a/input/lux/data/number.lux
+++ b/input/lux/data/number.lux
@@ -15,39 +15,15 @@
 ## Signatures
 (defsig #export (Number n)
   (do-template [<name>]
-    [(: (-> n n n)
-        <name>)]
+    [(: (-> n n n) <name>)]
     [+] [-] [*] [/] [%])
-  ## (: (-> n n n)
-  ##    +)
-
-  ## (: (-> n n n)
-  ##    -)
-
-  ## (: (-> n n n)
-  ##    *)
-
-  ## (: (-> n n n)
-  ##    /)
-
-  ## (: (-> n n n)
-  ##    %)
 
   (: (-> Int n)
      from-int)
 
   (do-template [<name>]
-    [(: (-> n n)
-        <name>)]
+    [(: (-> n n) <name>)]
     [negate] [signum] [abs])
-  ## (: (-> n n)
-  ##    negate)
-
-  ## (: (-> n n)
-  ##    signum)
-
-  ## (: (-> n n)
-  ##    abs)
   )
 
 ## [Structures]
diff --git a/input/program.lux b/input/program.lux
index 19ee964e2..1bdb237b1 100644
--- a/input/program.lux
+++ b/input/program.lux
@@ -1,3 +1,11 @@
+##   Copyright (c) Eduardo Julian. All rights reserved.
+##   The use and distribution terms for this software are covered by the
+##   Eclipse Public License 1.0 (http://opensource.org/licenses/eclipse-1.0.php)
+##   which can be found in the file epl-v10.html at the root of this distribution.
+##   By using this software in any fashion, you are agreeing to be bound by
+##   the terms of this license.
+##   You must not remove this notice, or any other, from this software.
+
 (;import lux
          (lux (codata (stream #as S))
               (control monoid
-- 
cgit v1.2.3