diff options
| author | Eduardo Julian | 2021-06-12 01:32:40 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2021-06-12 01:32:40 -0400 |
| commit | af3e6e2cb011dc2ad9204440990731a2f272716d (patch) | |
| tree | 3521c74b05fc5b3ddddbe901d32ace87dbb6c018 /documentation/bookmark/Optics (eg lenses & prisms).md | |
| parent | 8f575da5095e3b259d4eb6b6f13d3e37ef1d38e4 (diff) | |
Constraining the year of the snapshot time in Aedifex.
Diffstat (limited to '')
| -rw-r--r-- | documentation/bookmark/optics.md (renamed from documentation/bookmark/Optics (eg lenses & prisms).md) | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/documentation/bookmark/Optics (eg lenses & prisms).md b/documentation/bookmark/optics.md index 6f7acb5ca..903c2ff54 100644 --- a/documentation/bookmark/Optics (eg lenses & prisms).md +++ b/documentation/bookmark/optics.md @@ -19,6 +19,6 @@ 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. https://blog.jle.im/entry/lenses-products-prisms-sums.html +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/ |