@@ -16,6 +16,9 @@ fully interoperable with the combinators found in mainstream lens libraries.
1616
1717Examples can be found in the `examples` and `tests` folders.
1818
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
21+
1922Table of contents
2023=================
2124
@@ -407,7 +410,7 @@ The
407410library is used to ensure (see [here](test/Spec.hs)) that everything gets
408411inlined away.
409412
410−TODO push benchmarks too
413+There is also a [benchmark suite](https://github.com/mpickering/generic-lens-benchmarks) with larger, real-world examples.
411414# Contributors
412415
413416+ [Matthew Pickering](https://github.com/mpickering)