@@ -16,6 +16,9 @@ fully interoperable with the combinators found in mainstream lens libraries.
17Examples can be found in the `examples` and `tests` folders.
17Examples can be found in the `examples` and `tests` folders.
19+The library is described in the paper:
20+> Csongor Kiss, Matthew Pickering, and Nicolas Wu. 2018. Generic deriving of generic traversals. Proc. ACM Program. Lang. 2, ICFP, Article 85 (July 2018), 30 pages. DOI: https://doi.org/10.1145/3236780
19Table of contents
22Table of contents
20=================
23=================
@@ -407,7 +410,7 @@ The
407library is used to ensure (see [here](test/Spec.hs)) that everything gets
410library is used to ensure (see [here](test/Spec.hs)) that everything gets
408inlined away.
411inlined away.
410−TODO push benchmarks too
413+There is also a [benchmark suite](https://github.com/mpickering/generic-lens-benchmarks) with larger, real-world examples.
411# Contributors
414# Contributors
413+ [Matthew Pickering](https://github.com/mpickering)
416+ [Matthew Pickering](https://github.com/mpickering)