<!DOCTYPE html>
<html lang="en">
<head>
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
<meta name="generator" content="AsciiDoc 8.6.10">
<title>License</title>
<link rel="stylesheet" href="./asciidoc.css" type="text/css">
<link rel="stylesheet" href="./pygments.css" type="text/css">


<script type="text/javascript" src="./asciidoc.js"></script>
<script type="text/javascript">
/*<![CDATA[*/
asciidoc.install();
/*]]>*/
</script>
<link rel="stylesheet" href="./mlton.css" type="text/css">
</head>
<body class="article">
<div id="banner">
<div id="banner-home">
<a href="./Home">MLton 20201002</a>
</div>
</div>
<div id="header">
<h1>License</h1>
</div>
<div id="content">
<div class="sect1">
<h2 id="_web_site">Web Site</h2>
<div class="sectionbody">
<div class="paragraph"><p>In order to allow the maximum freedom for the future use of the
content in this web site, we require that contributions to the web
site be dedicated to the public domain.  That means that you can only
add works that are already in the public domain, or that you must hold
the copyright on the work that you agree to dedicate the work to the
public domain.</p></div>
<div class="paragraph"><p>By contributing to this web site, you agree to dedicate your
contribution to the public domain.</p></div>
</div>
</div>
<div class="sect1">
<h2 id="_software">Software</h2>
<div class="sectionbody">
<div class="paragraph"><p>As of 20050812, MLton software is licensed under the HPND-style
license below.  The Historical Permission Notice and Disclaimer (HPND)
license is an <a href="https://opensource.org/licenses/HPND">open source</a> and
<a href="https://www.gnu.org/licenses/license-list.en.html#HPND">free software</a>
license.  By contributing code to the project, you agree to release
the code under this license.  Contributors can retain copyright to
their contributions by asserting copyright in their code.
Contributors may also add to the list of copyright holders in
<span class="monospaced">doc/license/MLton-LICENSE</span>, which appears below.</p></div>
<div class="listingblock">
<div class="content"><div class="highlight"><pre><span></span>../../LICENSE
</pre></div></div></div>
</div>
</div>
</div>
<div id="footnotes"><hr></div>
<div id="footer">
<div id="footer-text">
</div>
<div id="footer-badges">
</div>
</div>
</body>
</html>
