You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Many basic operations on terms (e.g. matching, unification, substitution) aren't specific to term-rewriting terms but also apply to type terms, lambda terms, etc. It would be nice to create an abstract representation of terms, and abstract implementations of these basic operators, to reduce the amount of code necessary to implement this library and related libraries. This might be a pretty big undertaking - it might not even work.
The text was updated successfully, but these errors were encountered:
Many basic operations on terms (e.g. matching, unification, substitution) aren't specific to term-rewriting terms but also apply to type terms, lambda terms, etc. It would be nice to create an abstract representation of terms, and abstract implementations of these basic operators, to reduce the amount of code necessary to implement this library and related libraries. This might be a pretty big undertaking - it might not even work.
The text was updated successfully, but these errors were encountered: