package term-tools

  1. Overview
  2. Docs
Various tools for manipulating first-order terms

Install 

dune-project
 Dependency

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

Authors

  1. I
    Ilias Garnier

Maintainers

  1. I
    igarnier@protonmail.com

Sources

0.0.2.tar.gz
md5=75acb747da03c0cd94d22c7f57cf0b1b
sha512=594187718db0e8b6decd40b353b1b3dad883deb59b7196378bb16783d22070d853f1ab5c5017d5eb826f8c435fde991769a0fe557e31abb2c50953f0e757525a

doc/CHANGES.html

0.0.1

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