um-abt
An OCaml library implementing unifiable abstract binding trees (UABTs)
Description
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).
Install
copied = false, 2000)"
:class="{ 'border-gray-700': !copied, 'text-gray-100': !copied, 'focus:ring-orange-500': !copied, 'focus:border-orange-500': !copied, 'border-green-600': copied, 'text-green-600': copied, 'focus:ring-green-500': copied, 'focus:border-green-500': copied }">
- Published
- 05 Oct 2021
- Authors
- Maintainers
Sources
um-abt-v0.1.7.tbz
sha256=9472873b4f485ff1c169d950488133c79efb4b00b757526bfb14a2f043a0480f
sha512=e3ea3990177778ae109082bea0b952b760b4fc9a243f0321367d2927061e3766c0d99679c5e4b13f89532b22ad4993c34f91b625ec40e07f113b9812521f91f4
Dependencies
odoc
with-doc
mdx
with-test & >= "1.10.1"
bos
with-test & >= "0.2.0"
qcheck
with-test & >= "0.17"
logs-ppx
>= "0.2.0"
ppx_sexp_conv
>= "v0.14.3"
ppx_deriving
>= "5.2.1"
ppx_expect
>= "v0.14.1"
sexplib
>= "v0.14.0"
logs
>= "0.7.0"
dune
>= "2.8"
Reverse Dependencies
Conflicts
result
< "1.5"