Strafunski-ATermLib

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

Latest on Hackage:

1.6.0.3

This package is not currently in any snapshots. If you're interested in using it, we recommend adding it to Stackage Nightly. Doing so will make builds more reliable, and allow stackage.org to host generated Haddocks.

BSD-3-Clause licensed by Ralf Laemmel, Joost Visser

Maintained by [email protected]

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