diff options
author | Eduardo Julian | 2015-07-19 22:32:08 -0400 |
---|---|---|
committer | Eduardo Julian | 2015-07-19 22:32:08 -0400 |
commit | f5e3afe5a5337b5dc840ed0fd6a76244cf0aac6b (patch) | |
tree | 976621b588837823e22ddb81ff51c9c82f69102f /input/program.lux | |
parent | 50366bad3ecf961fdfdbb1e4d8436794d97ae763 (diff) |
Added copyright notice on all files that missed it.
Diffstat (limited to '')
-rw-r--r-- | input/program.lux | 8 |
1 files changed, 8 insertions, 0 deletions
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 |