shonfeder / um-abt

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

Related projects

Alternatives and complementary repositories for um-abt