@hackage ecta1.0.0.1

ecta: A library for Equality-Constrained Tree Automata