term-toolsversion

Various tools for manipulating first-order terms

This library provides various tools for manipulating first-order terms, such as pretty-printing, substitution, unification, etc.

Tags symbolics rewriting
AuthorIlias Garnier
LicenseMIT
Published
Homepagehttp://github.com/igarnier/term-tools
Issue Trackerhttp://github.com/igarnier/term-tools
Maintainerigarnier@protonmail.com
Dependencies
Source [http] https://github.com/igarnier/term-tools/archive/refs/tags/0.0.2.tar.gz
md5=75acb747da03c0cd94d22c7f57cf0b1b
sha512=594187718db0e8b6decd40b353b1b3dad883deb59b7196378bb16783d22070d853f1ab5c5017d5eb826f8c435fde991769a0fe557e31abb2c50953f0e757525a
Edithttps://github.com/ocaml/opam-repository/tree/master/packages/term-tools/term-tools.0.0.2/opam
No package is dependent