collapse

main.ipynb

@@ -4,6 +4,7 @@
    "cell_type": "markdown",
    "id": "9fdeb776-f17c-42a5-84fb-765c19d5c6c3",
    "metadata": {
+    "jp-MarkdownHeadingCollapsed": true,
     "tags": []
    },
    "source": [
@@ -14,6 +15,7 @@
    "cell_type": "markdown",
    "id": "b3969792-c3ea-490b-8f5a-463da33ce0c4",
    "metadata": {
+    "jp-MarkdownHeadingCollapsed": true,
     "tags": []
    },
    "source": [
@@ -72,6 +74,7 @@
    "cell_type": "markdown",
    "id": "07390193-fdde-4bee-aec4-f5b3227dea06",
    "metadata": {
+    "jp-MarkdownHeadingCollapsed": true,
     "tags": []
    },
    "source": [
@@ -107,6 +110,7 @@
    "cell_type": "markdown",
    "id": "de9d52c9-6df3-4427-b316-587b56347cd4",
    "metadata": {
+    "jp-MarkdownHeadingCollapsed": true,
     "tags": []
    },
    "source": [
@@ -128,7 +132,10 @@
   {
    "cell_type": "markdown",
    "id": "ccde8fee-3003-4842-bec8-8f118e95b17e",
-   "metadata": {},
+   "metadata": {
+    "jp-MarkdownHeadingCollapsed": true,
+    "tags": []
+   },
    "source": [
     "### For a function"
    ]
@@ -152,7 +159,10 @@
   {
    "cell_type": "markdown",
    "id": "36c05f51-5422-41c7-a461-7f766c04b088",
-   "metadata": {},
+   "metadata": {
+    "jp-MarkdownHeadingCollapsed": true,
+    "tags": []
+   },
    "source": [
     "### Of a generic"
    ]
@@ -171,7 +181,10 @@
   {
    "cell_type": "markdown",
    "id": "a52cf44c-aa01-40c9-9adc-e838da385b28",
-   "metadata": {},
+   "metadata": {
+    "jp-MarkdownHeadingCollapsed": true,
+    "tags": []
+   },
    "source": [
     "### Of a union"
    ]