Closed VonTum closed 4 years ago
xySubstitute ambiguity: termTermSubstitute :: Term -> Variable -> Term -> Term which term is substituted in which?
termTermSubstitute :: Term -> Variable -> Term -> Term
Useful for IDEs, so the user can see documentation on hover
inline in the generated code
xySubstitute ambiguity:
termTermSubstitute :: Term -> Variable -> Term -> Term
which term is substituted in which?Useful for IDEs, so the user can see documentation on hover
in the readme