package term-tools

You can search for identifiers within the package.

in-package search v0.2.0

Various tools for manipulating first-order terms

Install

Dune Dependency

github.com Readme Changelog MIT License Edit opam file Versions (1)

Authors

I

Ilias Garnier

Maintainers

I

igarnier@protonmail.com

Sources

md5=75acb747da03c0cd94d22c7f57cf0b1b

sha512=594187718db0e8b6decd40b353b1b3dad883deb59b7196378bb16783d22070d853f1ab5c5017d5eb826f8c435fde991769a0fe557e31abb2c50953f0e757525a

CHANGES.md.html

0.0.1

First release of term-tools, a library to manipulate first-order terms.