A Haskell Library for Term Rewriting
classification
💻 cs.PL
keywords
haskellrewritingtermlibrarybasiccontextscoveringeffort
read the original abstract
We present a Haskell library for first-order term rewriting covering basic operations on positions, terms, contexts, substitutions and rewrite rules. This effort is motivated by the increasing number of term rewriting tools that are written in Haskell.
This paper has not been read by Pith yet.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.