From 56611122dbb9c7c0f9889ee3002317a49ba3375b Mon Sep 17 00:00:00 2001 From: Artem Yurchenko <44875844+grepcake@users.noreply.github.com> Date: Thu, 17 Dec 2020 20:33:13 +0300 Subject: [PATCH] Update Comonads material to match the given presentation It would be better to move the 13th presentation to fp-ctd account, but it's not in my control --- README.md | 7 +------ 1 file changed, 1 insertion(+), 6 deletions(-) diff --git a/README.md b/README.md index d7e2122..259c94d 100644 --- a/README.md +++ b/README.md @@ -302,17 +302,12 @@ Templates for homework: https://github.com/ChShersh/fp-homework-templates + Zippers * List zipper * Game of Life -+ Type algebra - * Types as functions (sum, product, type variables) - * Type isomorphisms - * Zippers as deriviation: List zipper, Tree zipper + Comonads as OOP patterns * [_`Env`_](https://hackage.haskell.org/package/comonad/docs/Control-Comonad-Trans-Env.html#t:Env) * [_`Traced`_](https://hackage.haskell.org/package/comonad/docs/Control-Comonad-Traced.html#t:Traced) - * Stream (+ NonEmpty) + [**`codo`**`-notation`](https://hackage.haskell.org/package/codo-notation) (aka *method*) -#### Presentation: http://slides.com/fp-ctd/lecture-13#/ +#### Presentation: https://slides.com/artemyurchenko/lecture-13-comonads#/