@hackage generics-mrsop-gdiff0.0.1

Reimplementation of the `gdiff` algorithm for `generics-mrsop`

  • Categories

  • License

    BSD-3-Clause

  • Maintainer

    arian.vanputten@gmail.com v.cacciarimiraldo@gmail.com

  • Links

  • Versions

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.