|
475
|
1 Open Source License
|
|
|
2
|
|
|
3 Copyright (c) 2013-2017 University of the Ryukyus
|
|
|
4 All rights reserved.
|
|
|
5
|
|
|
6 Developed by:
|
|
|
7
|
|
|
8 Shinji KONO
|
|
|
9 http://www.cr.ie.u-ryukyu.ac.jp/hg/Members/kono/Proof/category
|
|
|
10
|
|
|
11 Permission is hereby granted, free of charge, to any person obtaining a copy of
|
|
|
12 this software and associated documentation files (the "Software"), to deal with
|
|
|
13 the Software without restriction, including without limitation the rights to
|
|
|
14 use, copy, modify, merge, publish, distribute, sublicense, and/or sell copies
|
|
|
15 of the Software, and to permit persons to whom the Software is furnished to do
|
|
|
16 so, subject to the following conditions:
|
|
|
17
|
|
|
18 * Redistributions of source code must retain the above copyright notice,
|
|
|
19 this list of conditions and the following disclaimers.
|
|
|
20
|
|
|
21 * Redistributions in binary form must reproduce the above copyright notice,
|
|
|
22 this list of conditions and the following disclaimers in the
|
|
|
23 documentation and/or other materials provided with the distribution.
|
|
|
24
|
|
|
25
|
|
|
26 THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
|
|
|
27 IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY, FITNESS
|
|
|
28 FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
|
|
|
29 CONTRIBUTORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
|
|
|
30 LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
|
|
|
31 OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS WITH THE
|
|
|
32 SOFTWARE.
|
|
|
33
|
|
|
34 This program uses
|
|
|
35
|
|
|
36 https://github.com/konn/category-agda.git
|
|
|
37
|
|
|
38 as a base Library.
|
|
|
39
|
