@hackage / microecta

Small equality-constrained tree automata core