22 "cells" : [
33 {
44 "cell_type" : " markdown" ,
5- "id" : " 9e399156" ,
65 "metadata" : {
7- "dotnet_repl_cellExecutionEndTime " : " 2023-11-22T12:20:24.6149643 +00:00" ,
8- "dotnet_repl_cellExecutionStartTime " : " 2023-11-22T12:20:24.5700648 +00:00"
6+ "dotnet_repl_cellExecutionStartTime " : " 2023-11-22T13:28:54.243692 +00:00" ,
7+ "dotnet_repl_cellExecutionEndTime " : " 2023-11-22T13:28:54.2640212 +00:00"
98 },
109 "source" : [
1110 " ---\n " ,
2928 {
3029 "cell_type" : " code" ,
3130 "execution_count" : null ,
32- "id" : " 4381f259" ,
3331 "metadata" : {
32+ "dotnet_repl_cellExecutionStartTime" : " 2023-11-22T13:28:54.265034+00:00" ,
33+ "dotnet_repl_cellExecutionEndTime" : " 2023-11-22T13:28:56.2484876+00:00" ,
3434 "dotnet_interactive" : {
3535 "language" : " fsharp"
3636 },
37- "dotnet_repl_cellExecutionEndTime" : " 2023-11-22T12:20:27.5439764+00:00" ,
38- "dotnet_repl_cellExecutionStartTime" : " 2023-11-22T12:20:24.6182652+00:00" ,
3937 "polyglot_notebook" : {
4038 "kernelName" : " fsharp"
41- },
42- "vscode" : {
43- "languageId" : " polyglot-notebook"
4439 }
4540 },
46- "outputs" : [],
41+ "outputs" : [
42+ {
43+ "data" : {
44+ "text/html" : [
45+ " <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 " ,
46+ " </pre></div></td></tr><tr><td>Phone</td><td><div class=\" dni-plaintext\" ><pre>"(555) 555-5555"\r\n " ,
47+ " </pre></div></td></tr><tr><td>ZipCode</td><td><div class=\" dni-plaintext\" ><pre>"90210"\r\n " ,
48+ " </pre></div></td></tr></tbody></table></div></details><style>\r\n " ,
49+ " .dni-code-hint {\r\n " ,
50+ " font-style: italic;\r\n " ,
51+ " overflow: hidden;\r\n " ,
52+ " white-space: nowrap;\r\n " ,
53+ " }\r\n " ,
54+ " .dni-treeview {\r\n " ,
55+ " white-space: nowrap;\r\n " ,
56+ " }\r\n " ,
57+ " .dni-treeview td {\r\n " ,
58+ " vertical-align: top;\r\n " ,
59+ " text-align: start;\r\n " ,
60+ " }\r\n " ,
61+ " details.dni-treeview {\r\n " ,
62+ " padding-left: 1em;\r\n " ,
63+ " }\r\n " ,
64+ " table td {\r\n " ,
65+ " text-align: start;\r\n " ,
66+ " }\r\n " ,
67+ " table tr { \r\n " ,
68+ " vertical-align: top; \r\n " ,
69+ " margin: 0em 0px;\r\n " ,
70+ " }\r\n " ,
71+ " table tr td pre \r\n " ,
72+ " { \r\n " ,
73+ " vertical-align: top !important; \r\n " ,
74+ " margin: 0em 0px !important;\r\n " ,
75+ " } \r\n " ,
76+ " table th {\r\n " ,
77+ " text-align: start;\r\n " ,
78+ " }\r\n " ,
79+ " </style>"
80+ ]
81+ },
82+ "metadata" : {},
83+ "output_type" : " display_data"
84+ }
85+ ],
4786 "source" : [
4887 " type ContactCard =\n " ,
4988 " { Name: string\n " ,
5695 }
5796 ],
5897 "metadata" : {
59- "dotnet_interactive" : {
60- "defaultKernelName" : " fsharp" ,
61- "items" : [
62- {
63- "name" : " fsharp"
64- }
65- ]
66- },
6798 "kernelspec" : {
6899 "display_name" : " .NET (F#)" ,
69100 "language" : " F#" ,
83114 "name" : " fsharp"
84115 }
85116 ]
117+ },
118+ "dotnet_interactive" : {
119+ "defaultKernelName" : " fsharp" ,
120+ "items" : [
121+ {
122+ "name" : " fsharp"
123+ }
124+ ]
86125 }
87126 },
88127 "nbformat" : 4 ,
89128 "nbformat_minor" : 5
90- }
129+ }
0 commit comments