🚚 Recursion Schemes. Feito catamorphism e anamorphism.

davibarreira · Dec 20, 2023 · 30acb50 · 30acb50
1 parent 1004efc
commit 30acb50
Show file tree

Hide file tree

Showing 17 changed files with 1,394 additions and 210 deletions.
diff --git a/.DS_Store b/.DS_Store
diff --git a/CategoryTheory/.DS_Store b/CategoryTheory/.DS_Store
diff --git a/CategoryTheory/1 - Types.ipynb b/CategoryTheory/1 - Types.ipynb
diff --git a/CategoryTheory/11 - Monads Revisited.ipynb b/CategoryTheory/11 - Monads Revisited.ipynb
@@ -522,15 +522,15 @@
  ],
  "metadata": {
   "kernelspec": {
-   "display_name": "Julia 1.9.2",
+   "display_name": "Julia 1.9.4",
    "language": "julia",
    "name": "julia-1.9"
   },
   "language_info": {
    "file_extension": ".jl",
    "mimetype": "application/julia",
    "name": "julia",
-   "version": "1.9.2"
+   "version": "1.9.4"
   }
  },
  "nbformat": 4,