
  | URL addresses of the TPTP website .

# LANGUAGE UnicodeSyntax #

module OnlineATPs.Urls
  ( urlSystemOnTPTP
  , urlSystemOnTPTPReply
  ) where


-- | This is the url address to send a form with the parameters
  and the problem to TPTP World .
urlSystemOnTPTP ∷ String
urlSystemOnTPTP = "-bin/SystemOnTPTP"


-- | This is the url address that serves the response of a form sended
-- before to the web form specified by the url address 'urlSystemOnTPTP'.
urlSystemOnTPTPReply ∷ String
urlSystemOnTPTPReply = "-bin/SystemOnTPTPFormReply"

 | This is the url address to send a form with the parameters
 | This is the url address that serves the response of a form sended
 before to the web form specified by the url address 'urlSystemOnTPTP'.

  | URL addresses of the TPTP website .

# LANGUAGE UnicodeSyntax #

module OnlineATPs.Urls
  ( urlSystemOnTPTP
  , urlSystemOnTPTPReply
  ) where


  and the problem to TPTP World .
urlSystemOnTPTP ∷ String
urlSystemOnTPTP = "-bin/SystemOnTPTP"


urlSystemOnTPTPReply ∷ String
urlSystemOnTPTPReply = "-bin/SystemOnTPTPFormReply"
