<!doctype html>
<html>
<head>
  <meta charset="UTF-8">
  <title>The Bindlib Library</title>
  <style>
    h1, h2 {
      text-align: center;
    }

    body {
      margin-left: 10%;
      margin-right: 10%;
    }
  </style>
</head>
<body>

<h1>The OCaml Bindlib library</h1>
<h2>Christophe Raffalli and Rodolphe Lepigre</2>

<h3>Description:</h3>
<p>
  The Bindlib library provides support for free and bound variables in the
  OCaml language. The main application in the representation of types with
  a binding structure (e.g., abstract syntax trees).
</p>

<h3>Resources:</h3>
<ul>
  <li>Our LFMTP 2018 <a href="http://eptcs.web.cse.unsw.edu.au/paper.cgi?LFMTP2018.4">introductory paper (for Bindlib version 5)</a>.</li>
  <li>Our <a href="https://github.com/rlepigre/ocaml-bindlib">GitHub</a> repository.</li>
  <li>Bindlib on <a href="https://opam.ocaml.org/packages/bindlib/">opam</a>,</li>
  <li>
    The generated documentation for
    <a href="6.0.0/bindlib/Bindlib/index.html">Bindlib 6.0.0 (next release)</a>,
    <a href="5.0.1-ocamldoc/Bindlib.html">Bindlib 5.0.1</a>,
    <a href="5.0.0-ocamldoc/Bindlib.html">Bindlib 5.0.0</a>,
    <a href="4.0.5-ocamldoc/Bindlib.html">Bindlib 4.0.5</a>,
    <a href="4.0.4-ocamldoc/Bindlib.html">Bindlib 4.0.4</a>.
  </li>
  <li>A <a href="">CHANGELOG</a> describing the changes between the versions, and how to adapt your code.</li>
</ul>

<a href="https://github.com/rlepigre/ocaml-bindlib"><img style="position: absolute; top: 0; right: 0; border: 0;" src="https://camo.githubusercontent.com/38ef81f8aca64bb9a64448d0d70f1308ef5341ab/68747470733a2f2f73332e616d617a6f6e6177732e636f6d2f6769746875622f726962626f6e732f666f726b6d655f72696768745f6461726b626c75655f3132313632312e706e67" alt="Fork me on GitHub" data-canonical-src="https://s3.amazonaws.com/github/ribbons/forkme_right_darkblue_121621.png"></a>

</body>
</html>
