diff options
Diffstat (limited to 'input')
| -rw-r--r-- | input/lux/data/number.lux | 28 | ||||
| -rw-r--r-- | input/program.lux | 8 |
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 |