@hackage Strafunski-ATermLib1.6.0.2

An abstract data type designed for the exchange of tree-like data structures

Library for dealing with ATerms (annotated terms) in Haskell. See https://github.com/cwi-swat/aterms for more information on ATerms.