aboutsummaryrefslogtreecommitdiff
path: root/input
diff options
context:
space:
mode:
Diffstat (limited to 'input')
-rw-r--r--input/lux/data/number.lux28
-rw-r--r--input/program.lux8
2 files changed, 10 insertions, 26 deletions
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