Popularity
3.9
Declining
Activity
0.0
Stable
9
2
1

Monthly Downloads: 10
Programming language: Haskell
License: BSD 3-clause "New" or "Revised" License
Tags: Language    
Latest version: v0.2.1

ho-rewriting alternatives and similar packages

Based on the "Language" category.
Alternatively, view ho-rewriting alternatives based on common mentions on social networks and blogs.

Do you think we are missing an alternative of ho-rewriting or a related project?

Add another 'Language' Package

README

This package gives a generic implementation of higher-order rewriting. The main idea is to use techniques from embedded domain-specific languages to offer an interface which is both safe and syntactically appealing.

Some examples are found in the [examples directory](examples). For more information, see "Lightweight Higher-Order Rewriting in Haskell":