From 9e6725e3fd45ad0b8faf54ec00ca9dcb8b603e32 Mon Sep 17 00:00:00 2001 From: Eduardo Julian Date: Thu, 26 Dec 2019 23:20:10 -0400 Subject: Bug fixes. --- documentation/research/Optics (eg lenses & prisms).md | 1 + 1 file changed, 1 insertion(+) (limited to 'documentation/research/Optics (eg lenses & prisms).md') diff --git a/documentation/research/Optics (eg lenses & prisms).md b/documentation/research/Optics (eg lenses & prisms).md index 62667bbfc..493b05c61 100644 --- a/documentation/research/Optics (eg lenses & prisms).md +++ b/documentation/research/Optics (eg lenses & prisms).md @@ -1,5 +1,6 @@ # Reference +1. [On Lawful Lenses](https://blog.statebox.org/on-lawful-lenses-6e18a1e17bdf) 1. https://medium.com/urbint-engineering/haskell-lens-operator-onboarding-a235481e8fac 1. https://fstarlang.github.io/general/2018/01/12/lens-indexed-lenses.html 1. [Jeremy Gibbons - Profunctor Optics Modular Data Accessors](https://www.youtube.com/watch?v=sfWzUMViP0M &&& http://www.cs.ox.ac.uk/people/jeremy.gibbons/publications/poptics.pdf) -- cgit v1.2.3