GitHub repository: GaloisInc/aterm-utils
Primary language: Haskell
Description: Utility functions for working with aterms as generated by Minitermite