um-abtversion

An OCaml library implementing unifiable abstract binding trees (UABTs)

um-abt provides an abstract binding tree (ABT) library following the principles of Robert Harper's 'Practical Foundations for Programming Languages'.

The library uses immutable pointers to represent variable binding and extends ABTs with unification, providing unifiable abstract binding trees (UABTs).

AuthorShon Feder
LicenseMIT
Published
Homepagehttps://github.com/shonfeder/um-abt
Issue Trackerhttps://github.com/shonfeder/um-abt/issues
Maintainershon.feder@gmail.com
Dependencies
Conflicts
Source [http] https://github.com/shonfeder/um-abt/releases/download/v0.1.5/um-abt-v0.1.5.tbz
sha256=d22a7c70f310a58c38906164fc8cef10b72da7989cf2686a51d6b75cf041e041
sha512=2fdc2823fe5d0d5a123e3daa7cc3c5e06b226caa2cbf3e8f824f24e87d595260b31787faa11961a1fb0f806fa0911894b31625daea2e6b980bb6a3b9330b9523
StatisticsInstalled 4 times last month.
Edithttps://github.com/ocaml/opam-repository/tree/master/packages/um-abt/um-abt.0.1.5/opam
No package is dependent