tweaks

docs/source/demo_type_annotation.ipynb

@@ -22,7 +22,7 @@
   },
   {
    "cell_type": "code",
-   "execution_count": 1,
+   "execution_count": 5,
    "outputs": [],
    "source": [
     "a: int = 8 # 整数型标注\n",
@@ -37,8 +37,8 @@
    "metadata": {
     "collapsed": false,
     "ExecuteTime": {
-     "end_time": "2023-09-16T11:21:28.779243Z",
-     "start_time": "2023-09-16T11:21:28.772041Z"
+     "end_time": "2023-09-16T13:41:58.838293Z",
+     "start_time": "2023-09-16T13:41:58.835728Z"
     }
    },
    "id": "5fbe06f15bbcd630"
@@ -67,8 +67,8 @@
    "metadata": {
     "collapsed": false,
     "ExecuteTime": {
-     "end_time": "2023-09-16T11:24:33.997164Z",
-     "start_time": "2023-09-16T11:24:33.993038Z"
+     "end_time": "2023-09-16T13:41:58.845184Z",
+     "start_time": "2023-09-16T13:41:58.840838Z"
     }
    },
    "id": "c9d78355e0521512"
@@ -102,7 +102,7 @@
   },
   {
    "cell_type": "code",
-   "execution_count": 10,
+   "execution_count": 7,
    "outputs": [],
    "source": [
     "import numpy as np\n",
@@ -112,8 +112,8 @@
    "metadata": {
     "collapsed": false,
     "ExecuteTime": {
-     "end_time": "2023-09-16T11:30:37.052436Z",
-     "start_time": "2023-09-16T11:30:37.044Z"
+     "end_time": "2023-09-16T13:41:58.845533Z",
+     "start_time": "2023-09-16T13:41:58.841932Z"
     }
    },
    "id": "6ebd28b4f4c84ab4"
@@ -130,7 +130,7 @@
   },
   {
    "cell_type": "code",
-   "execution_count": 11,
+   "execution_count": 8,
    "outputs": [],
    "source": [
     "import numpy.typing as npt\n",
@@ -145,19 +145,23 @@
    "metadata": {
     "collapsed": false,
     "ExecuteTime": {
-     "end_time": "2023-09-16T11:33:56.755287Z",
-     "start_time": "2023-09-16T11:33:56.739805Z"
+     "end_time": "2023-09-16T13:41:58.849149Z",
+     "start_time": "2023-09-16T13:41:58.847111Z"
     }
    },
    "id": "36d4e0be053bbd1a"
   },
   {
    "cell_type": "code",
-   "execution_count": null,
+   "execution_count": 8,
    "outputs": [],
    "source": [],
    "metadata": {
-    "collapsed": false
+    "collapsed": false,
+    "ExecuteTime": {
+     "end_time": "2023-09-16T13:41:58.855848Z",
+     "start_time": "2023-09-16T13:41:58.848965Z"
+    }
    },
    "id": "47b6d72d76ee84a1"
   }