tpdb-2.3.0: Data Type for Rewriting Systems
Safe HaskellSafe-Inferred
LanguageHaskell2010

TPDB.DP

Documentation

module TPDB.DP.Transform