abt topic
List
abt repositories
um-abt
28
Stars
1
Forks
Watchers
An OCaml library implementing unifiable abstract binding trees (UABTs)
