From 6766be5427b1788a44e07151e3fabe33ec4f8b37 Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Fri, 11 Mar 2022 05:52:21 -0400
Subject: Added an easy way to export Lux functionality to host programs
 (everywhere else).

---
 documentation/bookmark/optics.md | 45 ++++++++++++++++++++--------------------
 1 file changed, 23 insertions(+), 22 deletions(-)

(limited to 'documentation/bookmark/optics.md')

diff --git a/documentation/bookmark/optics.md b/documentation/bookmark/optics.md
index e3662b356..e47bfa6a8 100644
--- a/documentation/bookmark/optics.md
+++ b/documentation/bookmark/optics.md
@@ -1,25 +1,26 @@
 # Reference
 
-1. [Optics By Example](https://leanpub.com/optics-by-example)
-1. [Profunctor optics, a categorical update](https://arxiv.org/abs/2001.07488)
-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)
-1. http://hackage.haskell.org/package/profunctors-3.3.0.1/docs/Data-Profunctor.html
-1. https://github.com/purescript-contrib/purescript-profunctor-lenses
-1. https://hackage.haskell.org/package/lens-4.16/docs/Control-Lens-Indexed.html
-1. http://oleg.fi/gists/posts/2017-04-18-glassery.html
-1. http://oleg.fi/gists/posts/2017-12-23-functor-optics.html
-1. [Edward Kmett - Monad Transformer Lenses](https://www.youtube.com/watch?v=Bxcz23GOJqc)
-1. [Brian McKenna - Productionisation of Functional Optics](https://www.youtube.com/watch?v=H01dw-BMmlE)
-1. [YOW! Lambda Jam 2017 Ken Scambler - Lenses for the Masses – Introducing Goggles](https://www.youtube.com/watch?v=oIhdOqaKSEg)
-1. https://bartoszmilewski.com/2017/07/07/profunctor-optics-the-categorical-view/
-1. [Profunctor Optics: The Categorical Approach - Bartosz Milewski](https://www.youtube.com/watch?v=l1FCXUi6Vlw)
-1. https://calmm-js.github.io/partial.lenses/
-1. http://evincarofautumn.blogspot.com/2016/01/thoughts-on-using-fractional-types-to.html
-1. https://www.slideshare.net/davidoverton/comonad
-1. http://codingismycraft.com/index.php/2017/10/04/adding-descriptors-to-your-python-arsenal/
-1. [Lenses embody Products, Prisms embody Sums](https://blog.jle.im/entry/lenses-products-prisms-sums.html)
-1. http://www.philipzucker.com/lens-as-a-divisibility-relation-goofin-off-with-the-algebra-of-types/
+0. [Optics vs Lenses, Operationally](https://www.brunogavranovic.com/posts/2022-02-10-optics-vs-lenses-operationally.html)
+0. [Optics By Example](https://leanpub.com/optics-by-example)
+0. [Profunctor optics, a categorical update](https://arxiv.org/abs/2001.07488)
+0. [On Lawful Lenses](https://blog.statebox.org/on-lawful-lenses-6e18a1e17bdf)
+0. https://medium.com/urbint-engineering/haskell-lens-operator-onboarding-a235481e8fac
+0. https://fstarlang.github.io/general/2018/01/12/lens-indexed-lenses.html
+0. [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)
+0. http://hackage.haskell.org/package/profunctors-3.3.0.1/docs/Data-Profunctor.html
+0. https://github.com/purescript-contrib/purescript-profunctor-lenses
+0. https://hackage.haskell.org/package/lens-4.16/docs/Control-Lens-Indexed.html
+0. http://oleg.fi/gists/posts/2017-04-18-glassery.html
+0. http://oleg.fi/gists/posts/2017-12-23-functor-optics.html
+0. [Edward Kmett - Monad Transformer Lenses](https://www.youtube.com/watch?v=Bxcz23GOJqc)
+0. [Brian McKenna - Productionisation of Functional Optics](https://www.youtube.com/watch?v=H01dw-BMmlE)
+0. [YOW! Lambda Jam 2017 Ken Scambler - Lenses for the Masses – Introducing Goggles](https://www.youtube.com/watch?v=oIhdOqaKSEg)
+0. https://bartoszmilewski.com/2017/07/07/profunctor-optics-the-categorical-view/
+0. [Profunctor Optics: The Categorical Approach - Bartosz Milewski](https://www.youtube.com/watch?v=l1FCXUi6Vlw)
+0. https://calmm-js.github.io/partial.lenses/
+0. http://evincarofautumn.blogspot.com/2016/01/thoughts-on-using-fractional-types-to.html
+0. https://www.slideshare.net/davidoverton/comonad
+0. http://codingismycraft.com/index.php/2017/10/04/adding-descriptors-to-your-python-arsenal/
+0. [Lenses embody Products, Prisms embody Sums](https://blog.jle.im/entry/lenses-products-prisms-sums.html)
+0. http://www.philipzucker.com/lens-as-a-divisibility-relation-goofin-off-with-the-algebra-of-types/
 
-- 
cgit v1.2.3