tpdb-2.3.0: Data Type for Rewriting Systems
Safe HaskellNone
LanguageHaskell2010

TPDB.Input

Description

Deprecated: use TPDB.INput.File instead

Documentation