generics-mrsop-gdiff: Reimplementation of the `gdiff` algorithm for `generics-mrsop`
Here we port the gdiff
algorithm and library to work over
the `generics-mrsop`, enabling code that relies on the later
library to access the gdiff
algorithm.
Modules
- Generics
- MRSOP
- Generics.MRSOP.GDiff
- Generics.MRSOP.GDiff.Util
- Generics.MRSOP.GDiff
- MRSOP
Downloads
- generics-mrsop-gdiff-0.0.0.tar.gz [browse] (Cabal source package)
- Package description (as included in the package)
Versions [RSS] | 0.0.0, 0.0.1, 0.0.2 |
---|---|
Dependencies | base (<5), generics-mrsop (>=2.0.0) [details] |
License | BSD-3-Clause |
Author | Arian van Putten and Victor Miraldo |
Maintainer | arian.vanputten@gmail.com v.cacciarimiraldo@gmail.com |
Category | Generics |
Uploaded | by vcmiraldo at 2019-09-16T08:56:56Z |
Distributions | NixOS:0.0.2 |
Downloads | 1129 total (2 in the last 30 days) |
Rating | (no votes yet) [estimated by Bayesian average] |
Your Rating | |
Status | Docs not available [build log] Last success reported on 2019-09-16 [all 2 reports] |