tpdb-1.2.0: Data Type for Rewriting Systems

Safe HaskellSafe-Inferred
LanguageHaskell98

TPDB.DP

Documentation