Commit Graph

22 Commits

Author SHA1 Message Date
Sanchayan Maity 47f28a43fd Update README 2023-03-20 21:13:29 +05:30
Sanchayan Maity ca5e28e244 Add another blog post for existential types 2023-03-20 21:03:04 +05:30
Sanchayan Maity 0686c83ab2 Add a note on Final Tagless 2023-03-20 21:02:52 +05:30
Sanchayan Maity cce60e0790 freemonad: Update the Free monad notebook
Signed-off-by: Sanchayan Maity <maitysanchayan@gmail.com>
2020-08-08 19:01:31 +05:30
Sanchayan Maity 91050d615a Add a notebook on free monad
Signed-off-by: Sanchayan Maity <maitysanchayan@gmail.com>
2020-08-01 19:18:09 +05:30
Sanchayan Maity c56f7f977c README: Add link to the virtual lens meetup
Signed-off-by: Sanchayan Maity <maitysanchayan@gmail.com>
2020-06-06 18:36:48 +05:30
Sanchayan Maity ce6e56a49e Add a nice explanation on existential-types
Signed-off-by: Sanchayan Maity <maitysanchayan@gmail.com>
2020-06-06 18:31:17 +05:30
Sanchayan Maity b1ef1705d3 Add notebook for continuations
Signed-off-by: Sanchayan Maity <maitysanchayan@gmail.com>
2020-04-21 20:33:03 +05:30
Sanchayan Maity 0c904479a5 Add links to existential types articles
Signed-off-by: Sanchayan Maity <maitysanchayan@gmail.com>
2020-04-20 20:12:08 +05:30
Sanchayan Maity b4bf90923d Add some more links to README
Signed-off-by: Sanchayan Maity <maitysanchayan@gmail.com>
2020-03-21 17:56:18 +05:30
Sanchayan Maity 0fb8217770 Add contravariant notebook
Signed-off-by: Sanchayan Maity <maitysanchayan@gmail.com>
2020-03-21 17:53:55 +05:30
Sanchayan Maity cadd5d2406 Update README
Signed-off-by: Sanchayan Maity <maitysanchayan@gmail.com>
2020-03-20 20:58:26 +05:30
Sanchayan Maity 3b32e4c073 Add links to various posts on CPS
Signed-off-by: Sanchayan Maity <maitysanchayan@gmail.com>
2020-03-11 21:22:48 +05:30
Sanchayan Maity 487130ef65 README: Add references to Lens material
Signed-off-by: Sanchayan Maity <maitysanchayan@gmail.com>
2020-03-11 21:11:24 +05:30
Sanchayan Maity 52bfaa29aa Add traversals
Signed-off-by: Sanchayan Maity <maitysanchayan@gmail.com>
2020-02-08 15:53:57 +05:30
Sanchayan Maity e3beb5ea1d Add folds chapter
Some exercises we need to finish and some we also need to revisit.

Signed-off-by: Sanchayan Maity <maitysanchayan@gmail.com>
2020-01-26 21:23:28 +05:30
Sanchayan Maity a4167439f0 Add operators chapter
Exercises pending.
2020-01-18 22:05:53 +05:30
Sanchayan Maity f51eb6302c Add polymorphic optics chapter
Signed-off-by: Sanchayan Maity <maitysanchayan@gmail.com>
2020-01-13 21:20:52 +05:30
Sanchayan Maity 46099daf9d Add third lenses chapter from Optics by Example 2020-01-12 19:51:02 +05:30
Sanchayan Maity d040e02c28 Add Optics
Based on second chapter of the book Optics by Example.
2020-01-12 12:08:34 +05:30
Sanchayan Maity d53514616e Add README
Signed-off-by: Sanchayan Maity <maitysanchayan@gmail.com>
2020-01-12 11:24:37 +05:30
Sanchayan Maity 594763d8ce IHaskell notebook on Isos in Optics
Signed-off-by: Sanchayan Maity <maitysanchayan@gmail.com>
2020-01-12 11:14:06 +05:30