33 lines
1002 B
HTML
33 lines
1002 B
HTML
|
<!DOCTYPE html>
|
||
|
|
<html>
|
||
|
|
<head>
|
||
|
|
<meta charset="UTF-8">
|
||
|
|
<link rel="stylesheet" type="text/css" href="index.css">
|
||
|
|
<title>Simple-sub demonstration</title>
|
||
|
|
</head>
|
||
|
|
<body>
|
||
|
|
<h1>Simple-sub demonstration</h1>
|
||
|
|
<div id="content">
|
||
|
|
<div id="left">
|
||
|
|
<textarea id="fj-input">
|
||
|
|
class Test extends Object{}
|
||
|
|
</textarea>
|
||
|
|
<!-- let rec recursive_monster = fun x ->
|
||
|
|
{ thing = x;
|
||
|
|
self = recursive_monster x } -->
|
||
|
|
</div>
|
||
|
|
<div id="right">
|
||
|
|
<div id="ast-output"></div>
|
||
|
|
</div>
|
||
|
|
</div>
|
||
|
|
<div id="bottom">
|
||
|
|
<div id="unify-output"></div>
|
||
|
|
</div>
|
||
|
|
<script type="text/javascript" src="target/scala-2.13/fj-typeinference-fastopt/main.js"></script>
|
||
|
|
<br/>
|
||
|
|
<p>The code is available <a href="https://github.com/LPTK/simple-algebraic-subtyping">on github</a>.</p>
|
||
|
|
<br/>
|
||
|
|
<p>Credit: the CSS style sheet of this page was shamelessly stolen from <a href="https://www.cl.cam.ac.uk/~sd601/mlsub/">the MLsub demo page</a>.</p>
|
||
|
|
</body>
|
||
|
|
</html>
|