tyabt

Strongly typed many-sorted abstract binding trees (ABTs)
Manual

Initial release.