diff --git a/src/content/3.7/code/haskell/snippet35.hs b/src/content/3.7/code/haskell/snippet35.hs deleted file mode 100644 index cbbefbab6..000000000 --- a/src/content/3.7/code/haskell/snippet35.hs +++ /dev/null @@ -1 +0,0 @@ -Store f :: s -> Store f s \ No newline at end of file diff --git a/src/content/3.7/code/ocaml/snippet35.ml b/src/content/3.7/code/ocaml/snippet35.ml deleted file mode 100644 index f8d830b40..000000000 --- a/src/content/3.7/code/ocaml/snippet35.ml +++ /dev/null @@ -1 +0,0 @@ -let make_store f s = Store (f, s) diff --git a/src/content/3.7/code/reason/snippet35.re b/src/content/3.7/code/reason/snippet35.re deleted file mode 100644 index 52871bc9b..000000000 --- a/src/content/3.7/code/reason/snippet35.re +++ /dev/null @@ -1 +0,0 @@ -let make_store = (f, s) => Store(f, s); diff --git a/src/content/3.7/code/scala/snippet35.scala b/src/content/3.7/code/scala/snippet35.scala deleted file mode 100644 index 133ca9e93..000000000 --- a/src/content/3.7/code/scala/snippet35.scala +++ /dev/null @@ -1,4 +0,0 @@ -object Store { - def apply[S, A](run: S => A): S => Store[S, A] = - s => new Store(run, s) -} \ No newline at end of file diff --git a/src/content/3.7/comonads.tex b/src/content/3.7/comonads.tex index d631e06a4..e427ef654 100644 --- a/src/content/3.7/comonads.tex +++ b/src/content/3.7/comonads.tex @@ -328,12 +328,9 @@ \section{The Store Comonad} This becomes our \code{extract}: \src{snippet33} -The unit of the adjunction: +The unit of the adjunction is: \src{snippet34} -can be rewritten as partially applied data constructor: - -\src{snippet35} We construct $\delta$, or \code{duplicate}, as the horizontal composition: \begin{align*} \delta & \Colon L \circ R \to L \circ R \circ L \circ R \\