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.7/um-abt-v0.1.7.tbz sha256=9472873b4f485ff1c169d950488133c79efb4b00b757526bfb14a2f043a0480f sha512=e3ea3990177778ae109082bea0b952b760b4fc9a243f0321367d2927061e3766c0d99679c5e4b13f89532b22ad4993c34f91b625ec40e07f113b9812521f91f4 |
| Edit | https://github.com/ocaml/opam-repository/tree/master/packages/um-abt/um-abt.0.1.7/opam |
No package is dependent
