1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
|
The majority of the source code of the nhc98 Haskell compiler is
(c) copyright to Niklas Rojemo, 1991-1998.
Many parts of the nhc98 compiler, libraries, and system were
contributed by Malcolm Wallace, Jan Sparud, David Wakeling, Colin
Runciman, Phil Hassall, and Olaf Chitil, and are (c) copyright to them,
their respective institutions, or funding bodies, 1996-2001.
The hat-trail (redex trail browser) tool is
(c) copyright to Jan Sparud, 1996-1998,
with modifications
(c) copyright to Colin Runciman, 2000-2001.
The hat-stack tool is
(c) copyright to Malcolm Wallace, 2001.
The hat-observe tool is
(c) copyright to Thorsten Brehm, 2001.
The hat-detect tool is
(c) copyright to Thorsten Brehm, 2001.
The hat-check tool is
(c) copyright to Colin Runciman, 2001.
LICENCE
-------
It is the intention that this software be "freely available" in the Gnu
(http://www.gnu.org/) and Open Source (http://www.opensource.org/)
traditions. The following is a brief statement of the rights and
restrictions attached to this software distribution. It is a
preliminary licence; we may modify the terms and conditions at a later
date. Any successor to this licence may, when published, be applied to
this software as an alternative to the current terms, if you wish.
If you are not sure about any of the terms of this licence, please
contact us to discuss your requirements. (Primary contact:
Malcolm.Wallace@cs.york.ac.uk)
You may use, re-distribute, and modify this software, but you must not
alter or remove these copyright notices. You may add your own
additional copyright notices for any modifications to this software that
you distribute. (Any modifications must be provided - at least - as
source code, they must be described in the documentation, and you must
clearly indicate that the software has been modified, for instance by
changing the name of the executable or its version number, or by some
other method.)
You must not restrict anyone else's rights to use, re-distribute or
modify this software. Distributions of standard or modified versions of
this software must retain this licence (or its successor).
In addition, you are explicitly granted the right to re-use parts of this
software in the creation of new software, without having to place the
new software under this or any other licence, provided that:
. the new software does not have the same name as this software, but
. you clearly acknowledge which code you have re-used from this software,
. you retain the relevant copyright notices, and
. you indicate to users where they can freely obtain a standard version of
this software.
Programs, object files, and intermediate files produced as output by
this software do not fall under this copyright statement and are not
governed by the terms of this licence. You are free to use them (or
restrict their use) as you like.
UNLESS OTHERWISE STATED IN WRITING, THIS SOFTWARE IS SUPPLIED "AS IS"
AND WITHOUT ANY WARRANTY, EXPRESS OR IMPLIED, INCLUDING WITHOUT
LIMITATION THE IMPLIED WARRANTIES OF MERCHANTIBILITY AND FITNESS FOR A
PARTICULAR PURPOSE. NEITHER THE AUTHORS, COPYRIGHT HOLDERS, NOR ANY
OTHER PARTY WHO REDISTRIBUTES THIS SOFTWARE SHALL BE LIABLE FOR DAMAGES,
HOWSOEVER CAUSED, ARISING OUT OF THE USE OF THIS SOFTWARE. USE AT YOUR
OWN RISK.
|
