package tyabt

  1. Overview
  2. Docs
Strongly typed many-sorted abstract binding trees (ABTs)

Install

Dune Dependency

alan-j-hu.github.io Readme Changelog MPL-2.0 License Edit opam file Versions (1)

Authors

  1. A
    Alan Hu <alanh@ccs.neu.edu>

Maintainers

  1. A
    Alan Hu <alanh@ccs.neu.edu>

Sources

tyabt-0.1.0.tbz
sha256=cfce3264cf6427e9e956f5b52a67fc65883317e7318db4fc2416307b9a3116c6
sha512=f9436ef29330bc71933d2fb1af7d3aea6c4c7a61d60e6a385bb3326a4b3b9b3936f3adc47f93d901b4cabcc5405810eb5c309c1077f860777770d12fcc076ce1

CHANGES.md.html

0.1.0 (August 17, 2021)

Initial release.