Data.Logic.ATP.Term

Variables

class IsVariable v

variants

data V

Functions

class IsFunction function

type Arity

data FName

Terms

class IsTerm term

zipTerms

convertTerm

precedenceTerm

associativityTerm

prettyTerm

prettyFunctionApply

showTerm

showFunctionApply

funcs

data Term function v

type FTerm

testTerm