|
13 | 13 | "\n", |
14 | 14 | "categoryindex: 1\n", |
15 | 15 | "\n", |
16 | | - "index: 4\n", |
| 16 | + "index: 5\n", |
17 | 17 | "\n", |
18 | 18 | "---\n", |
19 | 19 | "\n", |
|
40 | 40 | "kernelName": "fsharp" |
41 | 41 | }, |
42 | 42 | "vscode": { |
43 | | - "languageId": "fsharp" |
| 43 | + "languageId": "polyglot-notebook" |
44 | 44 | } |
45 | 45 | }, |
46 | | - "outputs": [ |
47 | | - { |
48 | | - "data": { |
49 | | - "text/html": [ |
50 | | - "<details open=\"open\" class=\"dni-treeview\"><summary><span class=\"dni-code-hint\"><code>{ Name = "Alf"\\n Phone = "(555) 555-5555"\\n ZipCode = "90210" }</code></span></summary><div><table><thead><tr></tr></thead><tbody><tr><td>Name</td><td><div class=\"dni-plaintext\"><pre>"Alf"\r\n", |
51 | | - "</pre></div></td></tr><tr><td>Phone</td><td><div class=\"dni-plaintext\"><pre>"(555) 555-5555"\r\n", |
52 | | - "</pre></div></td></tr><tr><td>ZipCode</td><td><div class=\"dni-plaintext\"><pre>"90210"\r\n", |
53 | | - "</pre></div></td></tr></tbody></table></div></details><style>\r\n", |
54 | | - ".dni-code-hint {\r\n", |
55 | | - " font-style: italic;\r\n", |
56 | | - " overflow: hidden;\r\n", |
57 | | - " white-space: nowrap;\r\n", |
58 | | - "}\r\n", |
59 | | - ".dni-treeview {\r\n", |
60 | | - " white-space: nowrap;\r\n", |
61 | | - "}\r\n", |
62 | | - ".dni-treeview td {\r\n", |
63 | | - " vertical-align: top;\r\n", |
64 | | - " text-align: start;\r\n", |
65 | | - "}\r\n", |
66 | | - "details.dni-treeview {\r\n", |
67 | | - " padding-left: 1em;\r\n", |
68 | | - "}\r\n", |
69 | | - "table td {\r\n", |
70 | | - " text-align: start;\r\n", |
71 | | - "}\r\n", |
72 | | - "table tr { \r\n", |
73 | | - " vertical-align: top; \r\n", |
74 | | - " margin: 0em 0px;\r\n", |
75 | | - "}\r\n", |
76 | | - "table tr td pre \r\n", |
77 | | - "{ \r\n", |
78 | | - " vertical-align: top !important; \r\n", |
79 | | - " margin: 0em 0px !important;\r\n", |
80 | | - "} \r\n", |
81 | | - "table th {\r\n", |
82 | | - " text-align: start;\r\n", |
83 | | - "}\r\n", |
84 | | - "</style>" |
85 | | - ] |
86 | | - }, |
87 | | - "metadata": {}, |
88 | | - "output_type": "display_data" |
89 | | - } |
90 | | - ], |
| 46 | + "outputs": [], |
91 | 47 | "source": [ |
92 | 48 | "type ContactCard =\n", |
93 | 49 | " { Name: string\n", |
|
0 commit comments