
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.
