NOTE: the latest version is 5.0.1

README About Versions Source Modules

Term

This library exports Terms.

Definitions

type Term

= Var String

| Fun String (List Term)

Type alias for term

type alias Substitution =

Dict String Term

Type alias for substitution

Strings

toString : Term -> String

String representation of a Term

strSubstitution : Substitution -> String

String representation of a Substitution

argsToString : List Term -> String

String represenation of multiple Terms

Tableau helpers

substitute : Substitution -> Term -> Term

substitute

substs : Substitution -> Set String -> List Term -> Result String (List Term)

substs

Symbol helpers

free : Term -> Set String

free

freeA : Term -> Set String -> Set String

freeA

functionsA : Term -> Set String -> Set String

functionsA

variablesA : Term -> Set String -> Set String

variablesA

Modules