1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
|
Theme-D programming language and documentation
Copyright (C) 2008-2018 Tommi Höynälänmaa
All source code and compiled modules of Theme-D standard library in
subdirectory theme-d-code/standard-library are licensed under the GNU
Lesser General Public License. See file doc/LGPL-3. The contents of
subdirectories theme-d/runtime, th-scheme-utilities, libthemedsupport,
and theme-d-code/examples and files theme-d-config.in and
theme-d-config-maint.in are also licensed under GNU Lesser General
Public License. All documentation (files *.tex, *.bib, *.pdf, and
*.dia in subdirectory doc) is licensed under the GNU Free
Documentation License. See file doc/GFDL-1.3. All other files are
licensed under the GNU General Public License. See file doc/GPL-3.
THE AUTHOR TAKES NO RESPONSIBILITY FOR ANY DAMAGE RESULTED OF THE
DIRECT OR INDIRECT USE OF THE PROGRAMMING LANGUAGE THEME-D. ESPECIALLY
THE THEME-D TYPE SYSTEM CONTAINS ALGORITHMS THAT HAVE NOT BEEN PROVED TO
BE CORRECT.
|
