tpdb-2.1.1: Data Type for Rewriting Systems

Safe HaskellNone
LanguageHaskell98

TPDB.Input

Description

Deprecated: use TPDB.INput.File instead

Documentation