úÎòÑ;      !"#$%&'()*+,-./0123456789:% ;A boolean term. Assumptions of a . Conclusion of a .  Creates a  from an  rule application. <#Validates (type checks) a theorem.  Checks if a term is well-typed. !(Checks if a variable is free in a term. "All free variables in a term. #  !"#  !"#    !"#Responses to client requests. $A list of terms. %A term. &A list of unique ids. 'A unique id. Usually a 4. (No acknowledge with reason. ) Acknowledge. *Server did not recognize ,. +)A warning to clients that the associated , will soon be obsolete. , Requests from client to server. -[Search for a theorem similar to a term. Return a list of ids starting at the given index. .Request a theorem's conclusion. /Request a theorem's assumptions. 0OSubmit an inference. Server will validate the inference and return a theorem. 1Send response in JSON. 2New user: username, email. 3 Ping server. 4567)HTTP headers and body for JSON transfer. 8)HTTP headers and body for text transfer. 97HTTP headers and body for shown Haskell type transfer. :,Maybe read, on parse errors return Nothing. #$%&'()*+,-./0123456789:,3210/.-#+*)('&%$654789:#+*)('&%$$%&'()*+,3210/.--./0123456789:;  !"#$%&'()*+,-./0123456789:=      !"#$%&'()*+,-./0123456789:;<theoremquest-0.0.0TheoremQuest.LogicTheoremQuest.Transactions TheoremQuestTypeOftypeOfAxiom InferenceAXIOM INST_TYPEINSTDEDUCT_ANTISYMEQ_MPASSUMEBETAABSMK_COMBTRANSREFLType:->BoolTheoremVariable PropositionTermCombAbsVarConst assumptions conclusion=. inference wellTypedfreeIn freeVariablesRspTermsIdsIdNackAck UnknownReq DeprecatedReqReq TheoremSearchTheoremConclusionTheoremAssumptions RspInJSONNewUserPing TheoremIdEmailUser formatJSON formatText formatHaskell maybeReadvalidateTheorem