opam - um-abt.0.1.3

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	Aug 17, 2021
Homepage	https://github.com/shonfeder/um-abt
Issue Tracker	https://github.com/shonfeder/um-abt/issues
Maintainer	shon.feder@gmail.com
Dependencies	dune>=2.8 ocaml>=4.08.0 ppx_expect>=v0.14.1 ppx_deriving>=5.2.1 logs>=0.7.0 logs-ppx>=0.2.0 qcheckwith-test & >=0.17 boswith-test & >=0.2.0 mdxwith-test & >=1.10.1 odocwith-doc
Conflicts	result<1.5
Source [http]	https://github.com/shonfeder/um-abt/releases/download/v0.1.3/um-abt-v0.1.3.tbz sha256=454f85bde8c196e2ea7abd05a593155c3fea3de4c456d6142a56b161e8726b49 sha512=cbb2425262c392b760f270174fedbadc86af2a9af5cecf95ec02a7bcca36921dda163a0407f32b5ce6eb6843364a187698af8e642d5e2cfaf87ae3086f4b211d
Edit	https://github.com/ocaml/opam-repository/tree/master/packages/um-abt/um-abt.0.1.3/opam

No package is dependent

um-abtversion 0.1.3 0.1.30.1.50.1.7 (latest)

An OCaml library implementing unifiable abstract binding trees (UABTs)

um-abtversion
0.1.3
0.1.3
0.1.5
0.1.7 (latest)