shonfeder / um-abt

An OCaml library implementing unifiable abstract binding trees (UABTs)
27Updated last year

Alternatives and similar repositories for um-abt:

Users that are interested in um-abt are comparing it to the libraries listed below