From 82c378b0c9e95ec94c40911a23199868f5981d2d Mon Sep 17 00:00:00 2001 From: Eduardo Julian Date: Thu, 26 Jan 2017 19:57:26 -0400 Subject: - Changed the license from MPL 2.0 to MIT. --- stdlib/source/lux.lux | 5 ----- stdlib/source/lux/cli.lux | 5 ----- stdlib/source/lux/codata/coll/stream.lux | 5 ----- stdlib/source/lux/codata/cont.lux | 5 ----- stdlib/source/lux/codata/env.lux | 5 ----- stdlib/source/lux/codata/function.lux | 5 ----- stdlib/source/lux/codata/state.lux | 5 ----- stdlib/source/lux/codata/thunk.lux | 5 ----- stdlib/source/lux/compiler.lux | 5 ----- stdlib/source/lux/concurrency/actor.lux | 5 ----- stdlib/source/lux/concurrency/atom.lux | 5 ----- stdlib/source/lux/concurrency/frp.lux | 5 ----- stdlib/source/lux/concurrency/promise.lux | 5 ----- stdlib/source/lux/concurrency/stm.lux | 5 ----- stdlib/source/lux/control/applicative.lux | 5 ----- stdlib/source/lux/control/codec.lux | 5 ----- stdlib/source/lux/control/comonad.lux | 5 ----- stdlib/source/lux/control/enum.lux | 5 ----- stdlib/source/lux/control/eq.lux | 5 ----- stdlib/source/lux/control/fold.lux | 5 ----- stdlib/source/lux/control/functor.lux | 5 ----- stdlib/source/lux/control/hash.lux | 5 ----- stdlib/source/lux/control/interval.lux | 5 ----- stdlib/source/lux/control/monad.lux | 5 ----- stdlib/source/lux/control/monoid.lux | 5 ----- stdlib/source/lux/control/number.lux | 5 ----- stdlib/source/lux/control/ord.lux | 5 ----- stdlib/source/lux/data/bit.lux | 5 ----- stdlib/source/lux/data/bool.lux | 5 ----- stdlib/source/lux/data/char.lux | 5 ----- stdlib/source/lux/data/coll/array.lux | 5 ----- stdlib/source/lux/data/coll/dict.lux | 5 ----- stdlib/source/lux/data/coll/list.lux | 5 ----- stdlib/source/lux/data/coll/queue.lux | 5 ----- stdlib/source/lux/data/coll/set.lux | 5 ----- stdlib/source/lux/data/coll/stack.lux | 5 ----- stdlib/source/lux/data/coll/tree/rose.lux | 5 ----- stdlib/source/lux/data/coll/tree/zipper.lux | 5 ----- stdlib/source/lux/data/coll/vector.lux | 5 ----- stdlib/source/lux/data/error.lux | 5 ----- stdlib/source/lux/data/error/exception.lux | 5 ----- stdlib/source/lux/data/format/json.lux | 5 ----- stdlib/source/lux/data/ident.lux | 5 ----- stdlib/source/lux/data/identity.lux | 5 ----- stdlib/source/lux/data/log.lux | 5 ----- stdlib/source/lux/data/maybe.lux | 5 ----- stdlib/source/lux/data/number.lux | 5 ----- stdlib/source/lux/data/product.lux | 5 ----- stdlib/source/lux/data/sum.lux | 5 ----- stdlib/source/lux/data/taint.lux | 5 ----- stdlib/source/lux/data/text.lux | 5 ----- stdlib/source/lux/data/text/format.lux | 5 ----- stdlib/source/lux/effect.lux | 5 ----- stdlib/source/lux/host.lux | 5 ----- stdlib/source/lux/io.lux | 5 ----- stdlib/source/lux/lexer.lux | 5 ----- stdlib/source/lux/lexer/regex.lux | 5 ----- stdlib/source/lux/macro.lux | 5 ----- stdlib/source/lux/macro/ast.lux | 5 ----- stdlib/source/lux/macro/poly.lux | 5 ----- stdlib/source/lux/macro/poly/eq.lux | 5 ----- stdlib/source/lux/macro/poly/functor.lux | 5 ----- stdlib/source/lux/macro/poly/text-encoder.lux | 5 ----- stdlib/source/lux/macro/syntax.lux | 5 ----- stdlib/source/lux/macro/syntax/common.lux | 5 ----- stdlib/source/lux/math.lux | 5 ----- stdlib/source/lux/math/complex.lux | 5 ----- stdlib/source/lux/math/logic/continuous.lux | 5 ----- stdlib/source/lux/math/ratio.lux | 5 ----- stdlib/source/lux/math/simple.lux | 5 ----- stdlib/source/lux/pipe.lux | 5 ----- stdlib/source/lux/random.lux | 5 ----- stdlib/source/lux/test.lux | 5 ----- stdlib/source/lux/type.lux | 5 ----- stdlib/source/lux/type/auto.lux | 5 ----- stdlib/source/lux/type/check.lux | 5 ----- 76 files changed, 380 deletions(-) (limited to 'stdlib/source') diff --git a/stdlib/source/lux.lux b/stdlib/source/lux.lux index f86d8cdae..520e55434 100644 --- a/stdlib/source/lux.lux +++ b/stdlib/source/lux.lux @@ -1,8 +1,3 @@ -## Copyright (c) Eduardo Julian. All rights reserved. -## This Source Code Form is subject to the terms of the Mozilla Public License, v. 2.0. -## If a copy of the MPL was not distributed with this file, -## You can obtain one at http://mozilla.org/MPL/2.0/. - ## Basic types (_lux_def Bool (+12 ["lux" "Bool"] diff --git a/stdlib/source/lux/cli.lux b/stdlib/source/lux/cli.lux index 410cd42d5..8a89c3bc1 100644 --- a/stdlib/source/lux/cli.lux +++ b/stdlib/source/lux/cli.lux @@ -1,8 +1,3 @@ -## Copyright (c) Eduardo Julian. All rights reserved. -## This Source Code Form is subject to the terms of the Mozilla Public License, v. 2.0. -## If a copy of the MPL was not distributed with this file, -## You can obtain one at http://mozilla.org/MPL/2.0/. - (;module: [lux #- not] (lux (control functor diff --git a/stdlib/source/lux/codata/coll/stream.lux b/stdlib/source/lux/codata/coll/stream.lux index eeee1ccc2..3089fe1b2 100644 --- a/stdlib/source/lux/codata/coll/stream.lux +++ b/stdlib/source/lux/codata/coll/stream.lux @@ -1,8 +1,3 @@ -## Copyright (c) Eduardo Julian. All rights reserved. -## This Source Code Form is subject to the terms of the Mozilla Public License, v. 2.0. -## If a copy of the MPL was not distributed with this file, -## You can obtain one at http://mozilla.org/MPL/2.0/. - (;module: lux (lux (control functor diff --git a/stdlib/source/lux/codata/cont.lux b/stdlib/source/lux/codata/cont.lux index f04b6a0ba..7f1b918f0 100644 --- a/stdlib/source/lux/codata/cont.lux +++ b/stdlib/source/lux/codata/cont.lux @@ -1,8 +1,3 @@ -## Copyright (c) Eduardo Julian. All rights reserved. -## This Source Code Form is subject to the terms of the Mozilla Public License, v. 2.0. -## If a copy of the MPL was not distributed with this file, -## You can obtain one at http://mozilla.org/MPL/2.0/. - (;module: lux (lux (macro [ast]) diff --git a/stdlib/source/lux/codata/env.lux b/stdlib/source/lux/codata/env.lux index 18e07e84c..c9cc107c4 100644 --- a/stdlib/source/lux/codata/env.lux +++ b/stdlib/source/lux/codata/env.lux @@ -1,8 +1,3 @@ -## Copyright (c) Eduardo Julian. All rights reserved. -## This Source Code Form is subject to the terms of the Mozilla Public License, v. 2.0. -## If a copy of the MPL was not distributed with this file, -## You can obtain one at http://mozilla.org/MPL/2.0/. - (;module: lux (lux (control functor diff --git a/stdlib/source/lux/codata/function.lux b/stdlib/source/lux/codata/function.lux index 4f13be813..cddf5d472 100644 --- a/stdlib/source/lux/codata/function.lux +++ b/stdlib/source/lux/codata/function.lux @@ -1,8 +1,3 @@ -## Copyright (c) Eduardo Julian. All rights reserved. -## This Source Code Form is subject to the terms of the Mozilla Public License, v. 2.0. -## If a copy of the MPL was not distributed with this file, -## You can obtain one at http://mozilla.org/MPL/2.0/. - (;module: lux (lux (control monoid))) diff --git a/stdlib/source/lux/codata/state.lux b/stdlib/source/lux/codata/state.lux index e0eebda56..5f5b96e4b 100644 --- a/stdlib/source/lux/codata/state.lux +++ b/stdlib/source/lux/codata/state.lux @@ -1,8 +1,3 @@ -## Copyright (c) Eduardo Julian. All rights reserved. -## This Source Code Form is subject to the terms of the Mozilla Public License, v. 2.0. -## If a copy of the MPL was not distributed with this file, -## You can obtain one at http://mozilla.org/MPL/2.0/. - (;module: lux (lux (control functor diff --git a/stdlib/source/lux/codata/thunk.lux b/stdlib/source/lux/codata/thunk.lux index 2c0db0db5..12af1dfe2 100644 --- a/stdlib/source/lux/codata/thunk.lux +++ b/stdlib/source/lux/codata/thunk.lux @@ -1,8 +1,3 @@ -## Copyright (c) Eduardo Julian. All rights reserved. -## This Source Code Form is subject to the terms of the Mozilla Public License, v. 2.0. -## If a copy of the MPL was not distributed with this file, -## You can obtain one at http://mozilla.org/MPL/2.0/. - (;module: lux (lux [io] diff --git a/stdlib/source/lux/compiler.lux b/stdlib/source/lux/compiler.lux index 9f667ebce..fe503113a 100644 --- a/stdlib/source/lux/compiler.lux +++ b/stdlib/source/lux/compiler.lux @@ -1,8 +1,3 @@ -## Copyright (c) Eduardo Julian. All rights reserved. -## This Source Code Form is subject to the terms of the Mozilla Public License, v. 2.0. -## If a copy of the MPL was not distributed with this file, -## You can obtain one at http://mozilla.org/MPL/2.0/. - (;module: {#;doc "Functions for extracting information from the state of the compiler."} lux (lux (macro [ast]) diff --git a/stdlib/source/lux/concurrency/actor.lux b/stdlib/source/lux/concurrency/actor.lux index 73529e987..e2842752b 100644 --- a/stdlib/source/lux/concurrency/actor.lux +++ b/stdlib/source/lux/concurrency/actor.lux @@ -1,8 +1,3 @@ -## Copyright (c) Eduardo Julian. All rights reserved. -## This Source Code Form is subject to the terms of the Mozilla Public License, v. 2.0. -## If a copy of the MPL was not distributed with this file, -## You can obtain one at http://mozilla.org/MPL/2.0/. - (;module: {#;doc "The actor model of concurrency."} lux (lux (control monad) diff --git a/stdlib/source/lux/concurrency/atom.lux b/stdlib/source/lux/concurrency/atom.lux index c879db02d..09dd642ed 100644 --- a/stdlib/source/lux/concurrency/atom.lux +++ b/stdlib/source/lux/concurrency/atom.lux @@ -1,8 +1,3 @@ -## Copyright (c) Eduardo Julian. All rights reserved. -## This Source Code Form is subject to the terms of the Mozilla Public License, v. 2.0. -## If a copy of the MPL was not distributed with this file, -## You can obtain one at http://mozilla.org/MPL/2.0/. - (;module: lux (lux [io #- run] diff --git a/stdlib/source/lux/concurrency/frp.lux b/stdlib/source/lux/concurrency/frp.lux index 14563e534..3f25bb913 100644 --- a/stdlib/source/lux/concurrency/frp.lux +++ b/stdlib/source/lux/concurrency/frp.lux @@ -1,8 +1,3 @@ -## Copyright (c) Eduardo Julian. All rights reserved. -## This Source Code Form is subject to the terms of the Mozilla Public License, v. 2.0. -## If a copy of the MPL was not distributed with this file, -## You can obtain one at http://mozilla.org/MPL/2.0/. - (;module: lux (lux (control functor diff --git a/stdlib/source/lux/concurrency/promise.lux b/stdlib/source/lux/concurrency/promise.lux index 60cffe2fe..0dd8ebf00 100644 --- a/stdlib/source/lux/concurrency/promise.lux +++ b/stdlib/source/lux/concurrency/promise.lux @@ -1,8 +1,3 @@ -## Copyright (c) Eduardo Julian. All rights reserved. -## This Source Code Form is subject to the terms of the Mozilla Public License, v. 2.0. -## If a copy of the MPL was not distributed with this file, -## You can obtain one at http://mozilla.org/MPL/2.0/. - (;module: lux (lux (data (coll [list #* "" Functor]) diff --git a/stdlib/source/lux/concurrency/stm.lux b/stdlib/source/lux/concurrency/stm.lux index b088bd607..9d1459a2b 100644 --- a/stdlib/source/lux/concurrency/stm.lux +++ b/stdlib/source/lux/concurrency/stm.lux @@ -1,8 +1,3 @@ -## Copyright (c) Eduardo Julian. All rights reserved. -## This Source Code Form is subject to the terms of the Mozilla Public License, v. 2.0. -## If a copy of the MPL was not distributed with this file, -## You can obtain one at http://mozilla.org/MPL/2.0/. - (;module: lux (lux (control functor diff --git a/stdlib/source/lux/control/applicative.lux b/stdlib/source/lux/control/applicative.lux index 63ed1bc00..c904535a9 100644 --- a/stdlib/source/lux/control/applicative.lux +++ b/stdlib/source/lux/control/applicative.lux @@ -1,8 +1,3 @@ -## Copyright (c) Eduardo Julian. All rights reserved. -## This Source Code Form is subject to the terms of the Mozilla Public License, v. 2.0. -## If a copy of the MPL was not distributed with this file, -## You can obtain one at http://mozilla.org/MPL/2.0/. - (;module: lux (.. ["F" functor])) diff --git a/stdlib/source/lux/control/codec.lux b/stdlib/source/lux/control/codec.lux index 97fa8c4de..18937ede1 100644 --- a/stdlib/source/lux/control/codec.lux +++ b/stdlib/source/lux/control/codec.lux @@ -1,8 +1,3 @@ -## Copyright (c) Eduardo Julian. All rights reserved. -## This Source Code Form is subject to the terms of the Mozilla Public License, v. 2.0. -## If a copy of the MPL was not distributed with this file, -## You can obtain one at http://mozilla.org/MPL/2.0/. - (;module: lux (lux control/monad diff --git a/stdlib/source/lux/control/comonad.lux b/stdlib/source/lux/control/comonad.lux index 00d807ef1..f78ffea17 100644 --- a/stdlib/source/lux/control/comonad.lux +++ b/stdlib/source/lux/control/comonad.lux @@ -1,8 +1,3 @@ -## Copyright (c) Eduardo Julian. All rights reserved. -## This Source Code Form is subject to the terms of the Mozilla Public License, v. 2.0. -## If a copy of the MPL was not distributed with this file, -## You can obtain one at http://mozilla.org/MPL/2.0/. - (;module: lux ["F" ../functor] diff --git a/stdlib/source/lux/control/enum.lux b/stdlib/source/lux/control/enum.lux index a6c377fab..c91b5b9ea 100644 --- a/stdlib/source/lux/control/enum.lux +++ b/stdlib/source/lux/control/enum.lux @@ -1,8 +1,3 @@ -## Copyright (c) Eduardo Julian. All rights reserved. -## This Source Code Form is subject to the terms of the Mozilla Public License, v. 2.0. -## If a copy of the MPL was not distributed with this file, -## You can obtain one at http://mozilla.org/MPL/2.0/. - (;module: lux (lux/control [ord])) diff --git a/stdlib/source/lux/control/eq.lux b/stdlib/source/lux/control/eq.lux index 40f29a446..7a2fb3d3a 100644 --- a/stdlib/source/lux/control/eq.lux +++ b/stdlib/source/lux/control/eq.lux @@ -1,8 +1,3 @@ -## Copyright (c) Eduardo Julian. All rights reserved. -## This Source Code Form is subject to the terms of the Mozilla Public License, v. 2.0. -## If a copy of the MPL was not distributed with this file, -## You can obtain one at http://mozilla.org/MPL/2.0/. - (;module: lux) (sig: #export (Eq a) diff --git a/stdlib/source/lux/control/fold.lux b/stdlib/source/lux/control/fold.lux index 66f083ac6..00bf82fcf 100644 --- a/stdlib/source/lux/control/fold.lux +++ b/stdlib/source/lux/control/fold.lux @@ -1,8 +1,3 @@ -## Copyright (c) Eduardo Julian. All rights reserved. -## This Source Code Form is subject to the terms of the Mozilla Public License, v. 2.0. -## If a copy of the MPL was not distributed with this file, -## You can obtain one at http://mozilla.org/MPL/2.0/. - (;module: lux) ## [Signatures] diff --git a/stdlib/source/lux/control/functor.lux b/stdlib/source/lux/control/functor.lux index 5c76ba76a..005050efd 100644 --- a/stdlib/source/lux/control/functor.lux +++ b/stdlib/source/lux/control/functor.lux @@ -1,8 +1,3 @@ -## Copyright (c) Eduardo Julian. All rights reserved. -## This Source Code Form is subject to the terms of the Mozilla Public License, v. 2.0. -## If a copy of the MPL was not distributed with this file, -## You can obtain one at http://mozilla.org/MPL/2.0/. - (;module: lux) (sig: #export (Functor f) diff --git a/stdlib/source/lux/control/hash.lux b/stdlib/source/lux/control/hash.lux index 6e222e5d7..da24575a4 100644 --- a/stdlib/source/lux/control/hash.lux +++ b/stdlib/source/lux/control/hash.lux @@ -1,8 +1,3 @@ -## Copyright (c) Eduardo Julian. All rights reserved. -## This Source Code Form is subject to the terms of the Mozilla Public License, v. 2.0. -## If a copy of the MPL was not distributed with this file, -## You can obtain one at http://mozilla.org/MPL/2.0/. - (;module: lux (.. eq)) diff --git a/stdlib/source/lux/control/interval.lux b/stdlib/source/lux/control/interval.lux index 511195c93..7071c49ef 100644 --- a/stdlib/source/lux/control/interval.lux +++ b/stdlib/source/lux/control/interval.lux @@ -1,8 +1,3 @@ -## Copyright (c) Eduardo Julian. All rights reserved. -## This Source Code Form is subject to the terms of the Mozilla Public License, v. 2.0. -## If a copy of the MPL was not distributed with this file, -## You can obtain one at http://mozilla.org/MPL/2.0/. - (;module: lux (lux (control ord))) diff --git a/stdlib/source/lux/control/monad.lux b/stdlib/source/lux/control/monad.lux index b6c509064..5c540791a 100644 --- a/stdlib/source/lux/control/monad.lux +++ b/stdlib/source/lux/control/monad.lux @@ -1,8 +1,3 @@ -## Copyright (c) Eduardo Julian. All rights reserved. -## This Source Code Form is subject to the terms of the Mozilla Public License, v. 2.0. -## If a copy of the MPL was not distributed with this file, -## You can obtain one at http://mozilla.org/MPL/2.0/. - (;module: lux (.. (functor #as F) diff --git a/stdlib/source/lux/control/monoid.lux b/stdlib/source/lux/control/monoid.lux index 77ef5e1cc..e2be4603e 100644 --- a/stdlib/source/lux/control/monoid.lux +++ b/stdlib/source/lux/control/monoid.lux @@ -1,8 +1,3 @@ -## Copyright (c) Eduardo Julian. All rights reserved. -## This Source Code Form is subject to the terms of the Mozilla Public License, v. 2.0. -## If a copy of the MPL was not distributed with this file, -## You can obtain one at http://mozilla.org/MPL/2.0/. - (;module: lux) ## Signatures diff --git a/stdlib/source/lux/control/number.lux b/stdlib/source/lux/control/number.lux index d017e72d4..e24d61d9b 100644 --- a/stdlib/source/lux/control/number.lux +++ b/stdlib/source/lux/control/number.lux @@ -1,8 +1,3 @@ -## Copyright (c) Eduardo Julian. All rights reserved. -## This Source Code Form is subject to the terms of the Mozilla Public License, v. 2.0. -## If a copy of the MPL was not distributed with this file, -## You can obtain one at http://mozilla.org/MPL/2.0/. - (;module: lux (lux/control [ord])) diff --git a/stdlib/source/lux/control/ord.lux b/stdlib/source/lux/control/ord.lux index 8bd4ed906..8b2875e25 100644 --- a/stdlib/source/lux/control/ord.lux +++ b/stdlib/source/lux/control/ord.lux @@ -1,8 +1,3 @@ -## Copyright (c) Eduardo Julian. All rights reserved. -## This Source Code Form is subject to the terms of the Mozilla Public License, v. 2.0. -## If a copy of the MPL was not distributed with this file, -## You can obtain one at http://mozilla.org/MPL/2.0/. - (;module: lux (.. eq) diff --git a/stdlib/source/lux/data/bit.lux b/stdlib/source/lux/data/bit.lux index 99ade5269..75791d35e 100644 --- a/stdlib/source/lux/data/bit.lux +++ b/stdlib/source/lux/data/bit.lux @@ -1,8 +1,3 @@ -## Copyright (c) Eduardo Julian. All rights reserved. -## This Source Code Form is subject to the terms of the Mozilla Public License, v. 2.0. -## If a copy of the MPL was not distributed with this file, -## You can obtain one at http://mozilla.org/MPL/2.0/. - (;module: [lux #- & | ^]) ## [Values] diff --git a/stdlib/source/lux/data/bool.lux b/stdlib/source/lux/data/bool.lux index 15dc349ef..0b8d207fc 100644 --- a/stdlib/source/lux/data/bool.lux +++ b/stdlib/source/lux/data/bool.lux @@ -1,8 +1,3 @@ -## Copyright (c) Eduardo Julian. All rights reserved. -## This Source Code Form is subject to the terms of the Mozilla Public License, v. 2.0. -## If a copy of the MPL was not distributed with this file, -## You can obtain one at http://mozilla.org/MPL/2.0/. - (;module: lux (lux (control monoid diff --git a/stdlib/source/lux/data/char.lux b/stdlib/source/lux/data/char.lux index 49c247f93..28877ae34 100644 --- a/stdlib/source/lux/data/char.lux +++ b/stdlib/source/lux/data/char.lux @@ -1,8 +1,3 @@ -## Copyright (c) Eduardo Julian. All rights reserved. -## This Source Code Form is subject to the terms of the Mozilla Public License, v. 2.0. -## If a copy of the MPL was not distributed with this file, -## You can obtain one at http://mozilla.org/MPL/2.0/. - (;module: lux (lux/control eq diff --git a/stdlib/source/lux/data/coll/array.lux b/stdlib/source/lux/data/coll/array.lux index f95754262..160fa69f3 100644 --- a/stdlib/source/lux/data/coll/array.lux +++ b/stdlib/source/lux/data/coll/array.lux @@ -1,8 +1,3 @@ -## Copyright (c) Eduardo Julian. All rights reserved. -## This Source Code Form is subject to the terms of the Mozilla Public License, v. 2.0. -## If a copy of the MPL was not distributed with this file, -## You can obtain one at http://mozilla.org/MPL/2.0/. - (;module: lux (lux (control monoid diff --git a/stdlib/source/lux/data/coll/dict.lux b/stdlib/source/lux/data/coll/dict.lux index fe77d0bea..87a40b745 100644 --- a/stdlib/source/lux/data/coll/dict.lux +++ b/stdlib/source/lux/data/coll/dict.lux @@ -1,8 +1,3 @@ -## Copyright (c) Eduardo Julian. All rights reserved. -## This Source Code Form is subject to the terms of the Mozilla Public License, v. 2.0. -## If a copy of the MPL was not distributed with this file, -## You can obtain one at http://mozilla.org/MPL/2.0/. - (;module: lux (lux (control hash diff --git a/stdlib/source/lux/data/coll/list.lux b/stdlib/source/lux/data/coll/list.lux index 9b0328b16..4d9d9c270 100644 --- a/stdlib/source/lux/data/coll/list.lux +++ b/stdlib/source/lux/data/coll/list.lux @@ -1,8 +1,3 @@ -## Copyright (c) Eduardo Julian. All rights reserved. -## This Source Code Form is subject to the terms of the Mozilla Public License, v. 2.0. -## If a copy of the MPL was not distributed with this file, -## You can obtain one at http://mozilla.org/MPL/2.0/. - (;module: lux (lux (control monoid diff --git a/stdlib/source/lux/data/coll/queue.lux b/stdlib/source/lux/data/coll/queue.lux index 4dcac337c..5cef04fa7 100644 --- a/stdlib/source/lux/data/coll/queue.lux +++ b/stdlib/source/lux/data/coll/queue.lux @@ -1,8 +1,3 @@ -## Copyright (c) Eduardo Julian. All rights reserved. -## This Source Code Form is subject to the terms of the Mozilla Public License, v. 2.0. -## If a copy of the MPL was not distributed with this file, -## You can obtain one at http://mozilla.org/MPL/2.0/. - (;module: lux (lux (control eq) diff --git a/stdlib/source/lux/data/coll/set.lux b/stdlib/source/lux/data/coll/set.lux index 952e8f055..3ac6725c1 100644 --- a/stdlib/source/lux/data/coll/set.lux +++ b/stdlib/source/lux/data/coll/set.lux @@ -1,8 +1,3 @@ -## Copyright (c) Eduardo Julian. All rights reserved. -## This Source Code Form is subject to the terms of the Mozilla Public License, v. 2.0. -## If a copy of the MPL was not distributed with this file, -## You can obtain one at http://mozilla.org/MPL/2.0/. - (;module: lux (lux (control functor diff --git a/stdlib/source/lux/data/coll/stack.lux b/stdlib/source/lux/data/coll/stack.lux index 05364b832..6dbb8b817 100644 --- a/stdlib/source/lux/data/coll/stack.lux +++ b/stdlib/source/lux/data/coll/stack.lux @@ -1,8 +1,3 @@ -## Copyright (c) Eduardo Julian. All rights reserved. -## This Source Code Form is subject to the terms of the Mozilla Public License, v. 2.0. -## If a copy of the MPL was not distributed with this file, -## You can obtain one at http://mozilla.org/MPL/2.0/. - (;module: lux (lux (data (coll [list])))) diff --git a/stdlib/source/lux/data/coll/tree/rose.lux b/stdlib/source/lux/data/coll/tree/rose.lux index 4c4f873d5..ebd208a83 100644 --- a/stdlib/source/lux/data/coll/tree/rose.lux +++ b/stdlib/source/lux/data/coll/tree/rose.lux @@ -1,8 +1,3 @@ -## Copyright (c) Eduardo Julian. All rights reserved. -## This Source Code Form is subject to the terms of the Mozilla Public License, v. 2.0. -## If a copy of the MPL was not distributed with this file, -## You can obtain one at http://mozilla.org/MPL/2.0/. - (;module: lux (lux (control monad diff --git a/stdlib/source/lux/data/coll/tree/zipper.lux b/stdlib/source/lux/data/coll/tree/zipper.lux index c154ed19c..3c443f281 100644 --- a/stdlib/source/lux/data/coll/tree/zipper.lux +++ b/stdlib/source/lux/data/coll/tree/zipper.lux @@ -1,8 +1,3 @@ -## Copyright (c) Eduardo Julian. All rights reserved. -## This Source Code Form is subject to the terms of the Mozilla Public License, v. 2.0. -## If a copy of the MPL was not distributed with this file, -## You can obtain one at http://mozilla.org/MPL/2.0/. - (;module: lux (lux (data (coll [list "" Monad Fold "List/" Monoid] diff --git a/stdlib/source/lux/data/coll/vector.lux b/stdlib/source/lux/data/coll/vector.lux index 1dbceb97e..b0ef6aa46 100644 --- a/stdlib/source/lux/data/coll/vector.lux +++ b/stdlib/source/lux/data/coll/vector.lux @@ -1,8 +1,3 @@ -## Copyright (c) Eduardo Julian. All rights reserved. -## This Source Code Form is subject to the terms of the Mozilla Public License, v. 2.0. -## If a copy of the MPL was not distributed with this file, -## You can obtain one at http://mozilla.org/MPL/2.0/. - (;module: lux (lux (control functor diff --git a/stdlib/source/lux/data/error.lux b/stdlib/source/lux/data/error.lux index 94b2c40cb..65a0733ff 100644 --- a/stdlib/source/lux/data/error.lux +++ b/stdlib/source/lux/data/error.lux @@ -1,8 +1,3 @@ -## Copyright (c) Eduardo Julian. All rights reserved. -## This Source Code Form is subject to the terms of the Mozilla Public License, v. 2.0. -## If a copy of the MPL was not distributed with this file, -## You can obtain one at http://mozilla.org/MPL/2.0/. - (;module: lux (lux (control functor diff --git a/stdlib/source/lux/data/error/exception.lux b/stdlib/source/lux/data/error/exception.lux index 457a3a092..4e18836d7 100644 --- a/stdlib/source/lux/data/error/exception.lux +++ b/stdlib/source/lux/data/error/exception.lux @@ -1,8 +1,3 @@ -## Copyright (c) Eduardo Julian. All rights reserved. -## This Source Code Form is subject to the terms of the Mozilla Public License, v. 2.0. -## If a copy of the MPL was not distributed with this file, -## You can obtain one at http://mozilla.org/MPL/2.0/. - (;module: {#;doc "Exception-handling functionality built on top of the Error type."} lux (lux (control monad) diff --git a/stdlib/source/lux/data/format/json.lux b/stdlib/source/lux/data/format/json.lux index 0c61b958b..8565fb32f 100644 --- a/stdlib/source/lux/data/format/json.lux +++ b/stdlib/source/lux/data/format/json.lux @@ -1,8 +1,3 @@ -## Copyright (c) Eduardo Julian. All rights reserved. -## This Source Code Form is subject to the terms of the Mozilla Public License, v. 2.0. -## If a copy of the MPL was not distributed with this file, -## You can obtain one at http://mozilla.org/MPL/2.0/. - (;module: {#;doc "Functionality for reading, generating and processing values in the JSON format. For more information, please see: http://www.json.org/"} diff --git a/stdlib/source/lux/data/ident.lux b/stdlib/source/lux/data/ident.lux index 1d87546fb..6e9a044e5 100644 --- a/stdlib/source/lux/data/ident.lux +++ b/stdlib/source/lux/data/ident.lux @@ -1,8 +1,3 @@ -## Copyright (c) Eduardo Julian. All rights reserved. -## This Source Code Form is subject to the terms of the Mozilla Public License, v. 2.0. -## If a copy of the MPL was not distributed with this file, -## You can obtain one at http://mozilla.org/MPL/2.0/. - (;module: lux (lux (control eq diff --git a/stdlib/source/lux/data/identity.lux b/stdlib/source/lux/data/identity.lux index c986db0c0..4f025d4f7 100644 --- a/stdlib/source/lux/data/identity.lux +++ b/stdlib/source/lux/data/identity.lux @@ -1,8 +1,3 @@ -## Copyright (c) Eduardo Julian. All rights reserved. -## This Source Code Form is subject to the terms of the Mozilla Public License, v. 2.0. -## If a copy of the MPL was not distributed with this file, -## You can obtain one at http://mozilla.org/MPL/2.0/. - (;module: lux (lux/control (functor #as F #refer #all) diff --git a/stdlib/source/lux/data/log.lux b/stdlib/source/lux/data/log.lux index b3dd7749f..5ac546b87 100644 --- a/stdlib/source/lux/data/log.lux +++ b/stdlib/source/lux/data/log.lux @@ -1,8 +1,3 @@ -## Copyright (c) Eduardo Julian. All rights reserved. -## This Source Code Form is subject to the terms of the Mozilla Public License, v. 2.0. -## If a copy of the MPL was not distributed with this file, -## You can obtain one at http://mozilla.org/MPL/2.0/. - (;module: lux (lux/control monoid diff --git a/stdlib/source/lux/data/maybe.lux b/stdlib/source/lux/data/maybe.lux index bf853baf1..6286e7d5e 100644 --- a/stdlib/source/lux/data/maybe.lux +++ b/stdlib/source/lux/data/maybe.lux @@ -1,8 +1,3 @@ -## Copyright (c) Eduardo Julian. All rights reserved. -## This Source Code Form is subject to the terms of the Mozilla Public License, v. 2.0. -## If a copy of the MPL was not distributed with this file, -## You can obtain one at http://mozilla.org/MPL/2.0/. - (;module: lux (lux (control (monoid #as m #refer #all) diff --git a/stdlib/source/lux/data/number.lux b/stdlib/source/lux/data/number.lux index e9c49b38e..ab097e449 100644 --- a/stdlib/source/lux/data/number.lux +++ b/stdlib/source/lux/data/number.lux @@ -1,8 +1,3 @@ -## Copyright (c) Eduardo Julian. All rights reserved. -## This Source Code Form is subject to the terms of the Mozilla Public License, v. 2.0. -## If a copy of the MPL was not distributed with this file, -## You can obtain one at http://mozilla.org/MPL/2.0/. - (;module: {#;doc "Implementations of common structures for Lux's primitive number types."} lux (lux (control number diff --git a/stdlib/source/lux/data/product.lux b/stdlib/source/lux/data/product.lux index 9e5e72538..8e8be3cd3 100644 --- a/stdlib/source/lux/data/product.lux +++ b/stdlib/source/lux/data/product.lux @@ -1,8 +1,3 @@ -## Copyright (c) Eduardo Julian. All rights reserved. -## This Source Code Form is subject to the terms of the Mozilla Public License, v. 2.0. -## If a copy of the MPL was not distributed with this file, -## You can obtain one at http://mozilla.org/MPL/2.0/. - (;module: {#;doc "Functionality for working with tuples (particularly 2-tuples)."} lux) diff --git a/stdlib/source/lux/data/sum.lux b/stdlib/source/lux/data/sum.lux index 5cc9606b2..716b3908a 100644 --- a/stdlib/source/lux/data/sum.lux +++ b/stdlib/source/lux/data/sum.lux @@ -1,8 +1,3 @@ -## Copyright (c) Eduardo Julian. All rights reserved. -## This Source Code Form is subject to the terms of the Mozilla Public License, v. 2.0. -## If a copy of the MPL was not distributed with this file, -## You can obtain one at http://mozilla.org/MPL/2.0/. - (;module: {#;doc "Functionality for working with variants (particularly 2-variants)."} lux) diff --git a/stdlib/source/lux/data/taint.lux b/stdlib/source/lux/data/taint.lux index 935d16c72..d78b9a52a 100644 --- a/stdlib/source/lux/data/taint.lux +++ b/stdlib/source/lux/data/taint.lux @@ -1,8 +1,3 @@ -## Copyright (c) Eduardo Julian. All rights reserved. -## This Source Code Form is subject to the terms of the Mozilla Public License, v. 2.0. -## If a copy of the MPL was not distributed with this file, -## You can obtain one at http://mozilla.org/MPL/2.0/. - (;module: lux (lux (data [product]))) diff --git a/stdlib/source/lux/data/text.lux b/stdlib/source/lux/data/text.lux index adc0454b2..bec6d7d2b 100644 --- a/stdlib/source/lux/data/text.lux +++ b/stdlib/source/lux/data/text.lux @@ -1,8 +1,3 @@ -## Copyright (c) Eduardo Julian. All rights reserved. -## This Source Code Form is subject to the terms of the Mozilla Public License, v. 2.0. -## If a copy of the MPL was not distributed with this file, -## You can obtain one at http://mozilla.org/MPL/2.0/. - (;module: lux (lux (control monoid diff --git a/stdlib/source/lux/data/text/format.lux b/stdlib/source/lux/data/text/format.lux index 732de0db4..69928366d 100644 --- a/stdlib/source/lux/data/text/format.lux +++ b/stdlib/source/lux/data/text/format.lux @@ -1,8 +1,3 @@ -## Copyright (c) Eduardo Julian. All rights reserved. -## This Source Code Form is subject to the terms of the Mozilla Public License, v. 2.0. -## If a copy of the MPL was not distributed with this file, -## You can obtain one at http://mozilla.org/MPL/2.0/. - (;module: lux (lux (control monad) diff --git a/stdlib/source/lux/effect.lux b/stdlib/source/lux/effect.lux index de3038927..2540effb8 100644 --- a/stdlib/source/lux/effect.lux +++ b/stdlib/source/lux/effect.lux @@ -1,8 +1,3 @@ -## Copyright (c) Eduardo Julian. All rights reserved. -## This Source Code Form is subject to the terms of the Mozilla Public License, v. 2.0. -## If a copy of the MPL was not distributed with this file, -## You can obtain one at http://mozilla.org/MPL/2.0/. - (;module: {#;doc "Algebraic effects."} lux (lux (control ["F" functor] diff --git a/stdlib/source/lux/host.lux b/stdlib/source/lux/host.lux index 58d163c2e..41d567165 100644 --- a/stdlib/source/lux/host.lux +++ b/stdlib/source/lux/host.lux @@ -1,8 +1,3 @@ -## Copyright (c) Eduardo Julian. All rights reserved. -## This Source Code Form is subject to the terms of the Mozilla Public License, v. 2.0. -## If a copy of the MPL was not distributed with this file, -## You can obtain one at http://mozilla.org/MPL/2.0/. - (;module: lux (lux (control monad diff --git a/stdlib/source/lux/io.lux b/stdlib/source/lux/io.lux index e395e7c32..93c01ee85 100644 --- a/stdlib/source/lux/io.lux +++ b/stdlib/source/lux/io.lux @@ -1,8 +1,3 @@ -## Copyright (c) Eduardo Julian. All rights reserved. -## This Source Code Form is subject to the terms of the Mozilla Public License, v. 2.0. -## If a copy of the MPL was not distributed with this file, -## You can obtain one at http://mozilla.org/MPL/2.0/. - (;module: {#;doc "A method for abstracting I/O and effectful computations to make it safe while writing pure functional code."} lux (lux (control functor diff --git a/stdlib/source/lux/lexer.lux b/stdlib/source/lux/lexer.lux index 03e5f5cbd..e33afa5b7 100644 --- a/stdlib/source/lux/lexer.lux +++ b/stdlib/source/lux/lexer.lux @@ -1,8 +1,3 @@ -## Copyright (c) Eduardo Julian. All rights reserved. -## This Source Code Form is subject to the terms of the Mozilla Public License, v. 2.0. -## If a copy of the MPL was not distributed with this file, -## You can obtain one at http://mozilla.org/MPL/2.0/. - (;module: [lux #- not default] (lux (control functor diff --git a/stdlib/source/lux/lexer/regex.lux b/stdlib/source/lux/lexer/regex.lux index 503364ce0..c41e38590 100644 --- a/stdlib/source/lux/lexer/regex.lux +++ b/stdlib/source/lux/lexer/regex.lux @@ -1,8 +1,3 @@ -## Copyright (c) Eduardo Julian. All rights reserved. -## This Source Code Form is subject to the terms of the Mozilla Public License, v. 2.0. -## If a copy of the MPL was not distributed with this file, -## You can obtain one at http://mozilla.org/MPL/2.0/. - (;module: lux (lux (control monad) diff --git a/stdlib/source/lux/macro.lux b/stdlib/source/lux/macro.lux index 54d41b28f..2a4f5b3c1 100644 --- a/stdlib/source/lux/macro.lux +++ b/stdlib/source/lux/macro.lux @@ -1,8 +1,3 @@ -## Copyright (c) Eduardo Julian. All rights reserved. -## This Source Code Form is subject to the terms of the Mozilla Public License, v. 2.0. -## If a copy of the MPL was not distributed with this file, -## You can obtain one at http://mozilla.org/MPL/2.0/. - (;module: lux (lux (control monad) diff --git a/stdlib/source/lux/macro/ast.lux b/stdlib/source/lux/macro/ast.lux index d284a8043..49d68b5c3 100644 --- a/stdlib/source/lux/macro/ast.lux +++ b/stdlib/source/lux/macro/ast.lux @@ -1,8 +1,3 @@ -## Copyright (c) Eduardo Julian. All rights reserved. -## This Source Code Form is subject to the terms of the Mozilla Public License, v. 2.0. -## If a copy of the MPL was not distributed with this file, -## You can obtain one at http://mozilla.org/MPL/2.0/. - (;module: lux (lux (control eq) diff --git a/stdlib/source/lux/macro/poly.lux b/stdlib/source/lux/macro/poly.lux index 5420e0328..872ce84b5 100644 --- a/stdlib/source/lux/macro/poly.lux +++ b/stdlib/source/lux/macro/poly.lux @@ -1,8 +1,3 @@ -## Copyright (c) Eduardo Julian. All rights reserved. -## This Source Code Form is subject to the terms of the Mozilla Public License, v. 2.0. -## If a copy of the MPL was not distributed with this file, -## You can obtain one at http://mozilla.org/MPL/2.0/. - (;module: [lux #- list] (lux (control monad diff --git a/stdlib/source/lux/macro/poly/eq.lux b/stdlib/source/lux/macro/poly/eq.lux index a9d7c0fae..eff158a83 100644 --- a/stdlib/source/lux/macro/poly/eq.lux +++ b/stdlib/source/lux/macro/poly/eq.lux @@ -1,8 +1,3 @@ -## Copyright (c) Eduardo Julian. All rights reserved. -## This Source Code Form is subject to the terms of the Mozilla Public License, v. 2.0. -## If a copy of the MPL was not distributed with this file, -## You can obtain one at http://mozilla.org/MPL/2.0/. - (;module: lux (lux (control monad diff --git a/stdlib/source/lux/macro/poly/functor.lux b/stdlib/source/lux/macro/poly/functor.lux index ec06193bf..f5bf71c39 100644 --- a/stdlib/source/lux/macro/poly/functor.lux +++ b/stdlib/source/lux/macro/poly/functor.lux @@ -1,8 +1,3 @@ -## Copyright (c) Eduardo Julian. All rights reserved. -## This Source Code Form is subject to the terms of the Mozilla Public License, v. 2.0. -## If a copy of the MPL was not distributed with this file, -## You can obtain one at http://mozilla.org/MPL/2.0/. - (;module: lux (lux (control monad diff --git a/stdlib/source/lux/macro/poly/text-encoder.lux b/stdlib/source/lux/macro/poly/text-encoder.lux index c197f8e0c..c4b148709 100644 --- a/stdlib/source/lux/macro/poly/text-encoder.lux +++ b/stdlib/source/lux/macro/poly/text-encoder.lux @@ -1,8 +1,3 @@ -## Copyright (c) Eduardo Julian. All rights reserved. -## This Source Code Form is subject to the terms of the Mozilla Public License, v. 2.0. -## If a copy of the MPL was not distributed with this file, -## You can obtain one at http://mozilla.org/MPL/2.0/. - (;module: lux (lux (control monad diff --git a/stdlib/source/lux/macro/syntax.lux b/stdlib/source/lux/macro/syntax.lux index 2713de9c1..d77fba6b1 100644 --- a/stdlib/source/lux/macro/syntax.lux +++ b/stdlib/source/lux/macro/syntax.lux @@ -1,8 +1,3 @@ -## Copyright (c) Eduardo Julian. All rights reserved. -## This Source Code Form is subject to the terms of the Mozilla Public License, v. 2.0. -## If a copy of the MPL was not distributed with this file, -## You can obtain one at http://mozilla.org/MPL/2.0/. - (;module: [lux #- not default] (lux [compiler #+ Monad with-gensyms] diff --git a/stdlib/source/lux/macro/syntax/common.lux b/stdlib/source/lux/macro/syntax/common.lux index 3ebb716c6..cbeb1cfcf 100644 --- a/stdlib/source/lux/macro/syntax/common.lux +++ b/stdlib/source/lux/macro/syntax/common.lux @@ -1,8 +1,3 @@ -## Copyright (c) Eduardo Julian. All rights reserved. -## This Source Code Form is subject to the terms of the Mozilla Public License, v. 2.0. -## If a copy of the MPL was not distributed with this file, -## You can obtain one at http://mozilla.org/MPL/2.0/. - (;module: {#;doc "Commons syntax parsers and generators. The goal is to be able to reuse common syntax in macro definitions across libraries."} diff --git a/stdlib/source/lux/math.lux b/stdlib/source/lux/math.lux index 1fdde77e6..9369ae44f 100644 --- a/stdlib/source/lux/math.lux +++ b/stdlib/source/lux/math.lux @@ -1,8 +1,3 @@ -## Copyright (c) Eduardo Julian. All rights reserved. -## This Source Code Form is subject to the terms of the Mozilla Public License, v. 2.0. -## If a copy of the MPL was not distributed with this file, -## You can obtain one at http://mozilla.org/MPL/2.0/. - (;module: {#;doc "Common mathematical constants and functions."} lux (lux (control monad) diff --git a/stdlib/source/lux/math/complex.lux b/stdlib/source/lux/math/complex.lux index ef91715ad..69e9f71f9 100644 --- a/stdlib/source/lux/math/complex.lux +++ b/stdlib/source/lux/math/complex.lux @@ -1,8 +1,3 @@ -## Copyright (c) Eduardo Julian. All rights reserved. -## This Source Code Form is subject to the terms of the Mozilla Public License, v. 2.0. -## If a copy of the MPL was not distributed with this file, -## You can obtain one at http://mozilla.org/MPL/2.0/. - (;module: {#;doc "Complex arithmetic."} lux (lux [math] diff --git a/stdlib/source/lux/math/logic/continuous.lux b/stdlib/source/lux/math/logic/continuous.lux index 0e7e0de9b..c81f5e526 100644 --- a/stdlib/source/lux/math/logic/continuous.lux +++ b/stdlib/source/lux/math/logic/continuous.lux @@ -1,8 +1,3 @@ -## Copyright (c) Eduardo Julian. All rights reserved. -## This Source Code Form is subject to the terms of the Mozilla Public License, v. 2.0. -## If a copy of the MPL was not distributed with this file, -## You can obtain one at http://mozilla.org/MPL/2.0/. - (;module: lux (lux (data [number "Deg/" Interval]))) diff --git a/stdlib/source/lux/math/ratio.lux b/stdlib/source/lux/math/ratio.lux index c4a369866..5d23f6961 100644 --- a/stdlib/source/lux/math/ratio.lux +++ b/stdlib/source/lux/math/ratio.lux @@ -1,8 +1,3 @@ -## Copyright (c) Eduardo Julian. All rights reserved. -## This Source Code Form is subject to the terms of the Mozilla Public License, v. 2.0. -## If a copy of the MPL was not distributed with this file, -## You can obtain one at http://mozilla.org/MPL/2.0/. - (;module: {#;doc "Rational arithmetic."} lux (lux [math] diff --git a/stdlib/source/lux/math/simple.lux b/stdlib/source/lux/math/simple.lux index 45ba0a4a4..f1ef2359b 100644 --- a/stdlib/source/lux/math/simple.lux +++ b/stdlib/source/lux/math/simple.lux @@ -1,8 +1,3 @@ -## Copyright (c) Eduardo Julian. All rights reserved. -## This Source Code Form is subject to the terms of the Mozilla Public License, v. 2.0. -## If a copy of the MPL was not distributed with this file, -## You can obtain one at http://mozilla.org/MPL/2.0/. - (;module: {#;doc "Polymorphic arithmetic operators that work with all primitive numeric types, without requiring any prefixes."} lux (lux (control monad) diff --git a/stdlib/source/lux/pipe.lux b/stdlib/source/lux/pipe.lux index 2008971c4..cfb05491d 100644 --- a/stdlib/source/lux/pipe.lux +++ b/stdlib/source/lux/pipe.lux @@ -1,8 +1,3 @@ -## Copyright (c) Eduardo Julian. All rights reserved. -## This Source Code Form is subject to the terms of the Mozilla Public License, v. 2.0. -## If a copy of the MPL was not distributed with this file, -## You can obtain one at http://mozilla.org/MPL/2.0/. - (;module: {#;doc "Composable extensions to the piping macro |> that enhance it with various abilities."} lux (lux (control monad) diff --git a/stdlib/source/lux/random.lux b/stdlib/source/lux/random.lux index 468b6a34b..4cbc2b57b 100644 --- a/stdlib/source/lux/random.lux +++ b/stdlib/source/lux/random.lux @@ -1,8 +1,3 @@ -## Copyright (c) Eduardo Julian. All rights reserved. -## This Source Code Form is subject to the terms of the Mozilla Public License, v. 2.0. -## If a copy of the MPL was not distributed with this file, -## You can obtain one at http://mozilla.org/MPL/2.0/. - (;module: {#;doc "Pseudo-random number generation (PRNG) algorithms."} [lux #- list] (lux (control functor diff --git a/stdlib/source/lux/test.lux b/stdlib/source/lux/test.lux index 3b582815e..82fcabed9 100644 --- a/stdlib/source/lux/test.lux +++ b/stdlib/source/lux/test.lux @@ -1,8 +1,3 @@ -## Copyright (c) Eduardo Julian. All rights reserved. -## This Source Code Form is subject to the terms of the Mozilla Public License, v. 2.0. -## If a copy of the MPL was not distributed with this file, -## You can obtain one at http://mozilla.org/MPL/2.0/. - (;module: {#;doc "Tools for unit & property-based/generative testing."} lux (lux [compiler #+ Monad with-gensyms] diff --git a/stdlib/source/lux/type.lux b/stdlib/source/lux/type.lux index 7610773b1..e53c89ca9 100644 --- a/stdlib/source/lux/type.lux +++ b/stdlib/source/lux/type.lux @@ -1,8 +1,3 @@ -## Copyright (c) Eduardo Julian. All rights reserved. -## This Source Code Form is subject to the terms of the Mozilla Public License, v. 2.0. -## If a copy of the MPL was not distributed with this file, -## You can obtain one at http://mozilla.org/MPL/2.0/. - (;module: {#;doc "Basic functionality for working with types."} lux (lux (control eq diff --git a/stdlib/source/lux/type/auto.lux b/stdlib/source/lux/type/auto.lux index 28ba34090..edf1153b7 100644 --- a/stdlib/source/lux/type/auto.lux +++ b/stdlib/source/lux/type/auto.lux @@ -1,8 +1,3 @@ -## Copyright (c) Eduardo Julian. All rights reserved. -## This Source Code Form is subject to the terms of the Mozilla Public License, v. 2.0. -## If a copy of the MPL was not distributed with this file, -## You can obtain one at http://mozilla.org/MPL/2.0/. - (;module: lux (lux (control monad diff --git a/stdlib/source/lux/type/check.lux b/stdlib/source/lux/type/check.lux index 78461f7d7..db5ca251f 100644 --- a/stdlib/source/lux/type/check.lux +++ b/stdlib/source/lux/type/check.lux @@ -1,8 +1,3 @@ -## Copyright (c) Eduardo Julian. All rights reserved. -## This Source Code Form is subject to the terms of the Mozilla Public License, v. 2.0. -## If a copy of the MPL was not distributed with this file, -## You can obtain one at http://mozilla.org/MPL/2.0/. - (;module: {#;doc "Type-checking functionality. Very useful for writing advanced macros."} -- cgit v1.2.3