diff options
| author | Eduardo Julian | 2019-12-26 23:20:10 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2019-12-26 23:20:10 -0400 |
| commit | 9e6725e3fd45ad0b8faf54ec00ca9dcb8b603e32 (patch) | |
| tree | 5be21175f47b2751bd3073fb0236a74f7f515f74 /documentation/research/Optics (eg lenses & prisms).md | |
| parent | 18f682e86ebec539ae57a37aac45ecb0eb498a1c (diff) | |
Bug fixes.
Diffstat (limited to '')
| -rw-r--r-- | documentation/research/Optics (eg lenses & prisms).md | 1 |
1 files changed, 1 insertions, 0 deletions
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) |