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).
| Author | Shon Feder |
|---|---|
| License | MIT |
| Published | |
| Homepage | https://github.com/shonfeder/um-abt |
| Issue Tracker | https://github.com/shonfeder/um-abt/issues |
| Maintainer | shon.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 |
| Edit | https://github.com/ocaml/opam-repository/tree/master/packages/um-abt/um-abt.0.1.5/opam |
No package is dependent
