From 2139e72d8e7c58cb355799d4a8412a0c38fb481c Mon Sep 17 00:00:00 2001 From: Eduardo Julian Date: Thu, 28 May 2020 02:18:02 -0400 Subject: Can now parse TAR files. --- 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 493b05c61..6f7acb5ca 100644 --- a/documentation/research/Optics (eg lenses & prisms).md +++ b/documentation/research/Optics (eg lenses & prisms).md @@ -1,5 +1,6 @@ # Reference +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 -- cgit v1.2.3