The guarded-rewriting package

[Tags:bsd3, library]

This package provides rewriting functionality for datatypes. Most forms of datatypes are supported, including parametrized and mutually-recursive.

This library has been described in the paper:

More information about this library can be found at


Versions 0.1
Dependencies base (>=3.0 && <5), instant-generics (>=0.1 && <1.0) [details]
License BSD3
Copyright (c) 2010 Universiteit Utrecht
Author Thomas van Noort, Alexey Rodriguez Yakushev, Stefan Holdermans, Johan Jeuring, Bastiaan Heeren, Jose Pedro Magalhaes
Category Generics
Home page
Uploaded Wed Mar 3 07:55:30 UTC 2010 by JosePedroMagalhaes
Distributions NixOS:0.1
Downloads 351 total (0 in the last 30 days)
0 []
Status Docs uploaded by user
Build status unknown [no reports yet]




Maintainer's Corner

For package maintainers and hackage trustees