<?xml version="1.0" encoding="UTF-8"?>
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN"
  "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd">
<html xmlns="http://www.w3.org/1999/xhtml" xml:lang="ja" lang="ja">
<head>
  <meta http-equiv="Content-Type" content="text/html;charset=UTF-8" />
  <title>Ibis : Type inferer written in JavaScript</title>
  <script type="text/javascript" src="lib/jquery-1_5/jquery-1.5.min.js"></script>
  <script type="text/javascript" src="lib/jquery_terminal-0_3_3/jquery.terminal-0.3.3.min.js"></script>
  <script type="text/javascript" src="src/ibis.js"></script>
  <script type="text/javascript" src="src/stream.js"></script>
  <script type="text/javascript" src="src/lexer.js"></script>
  <script type="text/javascript" src="src/expr.js"></script>
  <script type="text/javascript" src="src/value.js"></script>
  <script type="text/javascript" src="src/parser.js"></script>
  <script type="text/javascript" src="src/env.js"></script>
  <script type="text/javascript" src="src/type.js"></script>
  <script type="text/javascript" src="src/inferer.js"></script>
  <script type="text/javascript" src="src/eva.js"></script>
  <script type="text/javascript" src="src/compat.js"></script>
  <script type="text/javascript" src="src/default.js"></script>
  <script type="text/javascript" src="src/index.js"></script>
  <link rel="stylesheet" href="lib/jquery_terminal-0_3_3/jquery.terminal.css" />
  <link rel="stylesheet" href="src/index.css" />
</head>
<body>
  <h1>Ibis : Type inferer written in JavaScript</h1>
  <h2>Online interpreter</h2>
  <div id="term"></div>
  <h2>Visualized version</h2>
  <p>
  <a href="visualize.html">Visualized type inferer using slideshow</a>
  </p>
  <h2>Source</h2>
  <p>
  <a href="https://github.com/takuto-h/ibis-js">takuto-h/ibis-js - GitHub (https://github.com/takuto-h/ibis-js)</a>
  </p>
</body>
</html>
