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 |
|---|---|
| Author | Ilias Garnier |
| License | MIT |
| Published | |
| Homepage | http://github.com/igarnier/term-tools |
| Issue Tracker | http://github.com/igarnier/term-tools |
| Maintainer | igarnier@protonmail.com |
| Dependencies |
|
| Source [http] | https://github.com/igarnier/term-tools/archive/refs/tags/0.0.2.tar.gz md5=75acb747da03c0cd94d22c7f57cf0b1b sha512=594187718db0e8b6decd40b353b1b3dad883deb59b7196378bb16783d22070d853f1ab5c5017d5eb826f8c435fde991769a0fe557e31abb2c50953f0e757525a |
| Edit | https://github.com/ocaml/opam-repository/tree/master/packages/term-tools/term-tools.0.0.2/opam |
No package is dependent
