GitHub repository: jwaldmann/haskell-tpdb
Primary language: Haskell
Description: parser and prettyprinter for TPDB syntax (termination problem data base)