Shon Feder
Results
3
repositories owned by
Shon Feder
um-abt
28
Stars
1
Forks
Watchers
An OCaml library implementing unifiable abstract binding trees (UABTs)
Shon Feder
An OCaml library implementing unifiable abstract binding trees (UABTs)