tpdb-1.3.3: Data Type for Rewriting Systems

Safe HaskellNone
LanguageHaskell98

TPDB.XTC

Documentation

module TPDB.Data