data-reify-gadt-0.1.0.0: README.md

# `Data.Reify.GADT`

`data-reify-gadt` is a rewrite of [`data-reify`](https://hackage.haskell.org/package/data-reify) to make the library usable with GADTs.

With this implementation, it is possible to use `data-reify`'s technique to make a graph out of typed ASTs that uses GADTs.

The logic is the same, only the type definition changes slightly.

Take a look at the `examples/` directory.