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
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
|
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 or modified 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-2002.
The core of the hmake tool is
(c) copyright to Thomas Hallgren, 1991-1997.
(Code is incorporated from the earlier tools hbcmake and nhc13make.)
Many modifications to hmake are
(c) copyright to Malcolm Wallace, 1998-2001.
The hmake interactive tool is
(c) copyright to Malcolm Wallace, 2000.
The hp2graph tool is
(c) copyright to David Wakeling and Niklas Rojemo, 1991-1996.
The hat-trans tool is
(c) copyright to Olaf Chitil, 2002.
The hat-observe tool is
(c) copyright to Thorsten Brehm, 2001.
The hat-detect tool is
(c) copyright to Thorsten Brehm, 2001.
The hat-trail tool is
(c) copyright to Malcolm Wallace, 2002.
The hat-stack tool is
(c) copyright to Malcolm Wallace, 2001.
The hat-check tool is
(c) copyright to Colin Runciman, 2001.
The hat-trail-in-java (redex trail browser) tool is
(c) copyright to Jan Sparud, 1996-1998,
with modifications
(c) copyright to Colin Runciman, 2000-2001.
The HOOD Observe library and graphical browser are
(c) copyright to Andy Gill, 2000.
The HOOD graphical browser incorporates open source Java components
(c) copyright MicroStar Inc, 1999. (Please read their separate license.)
The Random library is copied direct from Hugs, which has a separate
BSD-style license. That implementation of Random is
(c) copyright Lennart Augustsson, with modifications by Sigbjorn Finne.
Some parts of the implementation of the Time library were also
contributed by Lennart.
The development of nhc98 (and its predecessor nhc13) has been supported
by NUTEK (Sweden), Canon Research Europe Ltd., EPSRC (UK), and the
Universities of Chalmers (Sweden) and York (UK).
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.
|
GitWeb