diff --git a/notebooks/IHaskell.ipynb b/notebooks/IHaskell.ipynb index 414e3a09..d3c7e0cc 100644 --- a/notebooks/IHaskell.ipynb +++ b/notebooks/IHaskell.ipynb @@ -1990,6 +1990,8 @@ "zip [] _|_ = []\n", "\n", "\n", + "zip ∷ [a] → [b] → [(a, b)]
\n", + "zip ∷ [a] → [b] → [(a, b)]
\n", "zip ∷ () ⇒ [a] → [b] → [(a, b)]
zip takes two lists and returns a list of corresponding pairs.\n", "If one input list is short, excess elements of the longer list are\n", "discarded.\n", @@ -2000,8 +2002,6 @@ "zip [] _|_ = []\n", "\n", "
\n", - "zip ∷ [a] → [b] → [(a, b)]
\n", - "zip ∷ [a] → [b] → [(a, b)]
\n", "zip ∷ () ⇒ [a] → [b] → [(a, b)]
zip takes two lists and returns a list of corresponding pairs.\n", "\n", "
\n",
@@ -2717,6 +2717,12 @@
        "zip [] _|_ = []\n",
        "
\n", "\n", + "zip :: [a] -> [b] -> [(a, b)]\n", + "URL: https://hackage.haskell.org/package/prelude-compat/docs/Data-List2010.html#v:zip\n", + "\n", + "zip :: [a] -> [b] -> [(a, b)]\n", + "URL: https://hackage.haskell.org/package/prelude-compat/docs/Prelude2010.html#v:zip\n", + "\n", "zip :: () => [a] -> [b] -> [(a, b)]\n", "URL: https://hackage.haskell.org/package/haxl/docs/Haxl-Prelude.html#v:zip\n", "zip takes two lists and returns a list of corresponding pairs.\n", @@ -2729,12 +2735,6 @@ "zip [] _|_ = []\n", "\n", "\n", - "zip :: [a] -> [b] -> [(a, b)]\n", - "URL: https://hackage.haskell.org/package/prelude-compat/docs/Data-List2010.html#v:zip\n", - "\n", - "zip :: [a] -> [b] -> [(a, b)]\n", - "URL: https://hackage.haskell.org/package/prelude-compat/docs/Prelude2010.html#v:zip\n", - "\n", "zip :: () => [a] -> [b] -> [(a, b)]\n", "URL: https://hackage.haskell.org/package/relude/docs/Relude-List-Reexport.html#v:zip\n", "zip takes two lists and returns a list of corresponding pairs.\n",