package um-abt

  1. Overview
  2. Docs
An OCaml library implementing unifiable abstract binding trees (UABTs)

Install 

dune-project
 Dependency

github.com Readme Changelog Edit opam file Versions (3)

Authors

  1. S
    Shon Feder

Maintainers

  1. S
    shon.feder@gmail.com

Sources

um-abt-v0.1.5.tbz
sha256=d22a7c70f310a58c38906164fc8cef10b72da7989cf2686a51d6b75cf041e041
sha512=2fdc2823fe5d0d5a123e3daa7cc3c5e06b226caa2cbf3e8f824f24e87d595260b31787faa11961a1fb0f806fa0911894b31625daea2e6b980bb6a3b9330b9523

doc/index.html

um-abt

API

Library um-abt