annotate automaton-in-agda/LICENSE @ 406:a60132983557

...
author Shinji KONO <kono@ie.u-ryukyu.ac.jp>
date Wed, 08 Nov 2023 21:35:54 +0900
parents 567754463810
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
182
567754463810 reorganization
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
1 MIT License
567754463810 reorganization
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
2
567754463810 reorganization
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
3 Copyright (c) 2021 Shinji KONO
567754463810 reorganization
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
4
567754463810 reorganization
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
5 Permission is hereby granted, free of charge, to any person obtaining a copy
567754463810 reorganization
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
6 of this software and associated documentation files (the "Software"), to deal
567754463810 reorganization
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
7 in the Software without restriction, including without limitation the rights
567754463810 reorganization
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
8 to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
567754463810 reorganization
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
9 copies of the Software, and to permit persons to whom the Software is
567754463810 reorganization
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
10 furnished to do so, subject to the following conditions:
567754463810 reorganization
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
11
567754463810 reorganization
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
12 The above copyright notice and this permission notice shall be included in all
567754463810 reorganization
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
13 copies or substantial portions of the Software.
567754463810 reorganization
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
14
567754463810 reorganization
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
15 THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
567754463810 reorganization
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
16 IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
567754463810 reorganization
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
17 FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
567754463810 reorganization
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
18 AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
567754463810 reorganization
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
19 LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
567754463810 reorganization
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
20 OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
567754463810 reorganization
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
21 SOFTWARE.