1
- <!DOCTYPE HTML>
2
- < html lang ="zh " class ="sidebar-visible no-js light ">
3
- < head >
4
- <!-- Book generated using https://github.com/wa-lang/wabook -->
5
- < meta charset ="UTF-8 ">
6
- < title > 凹语言分享 - book title</ title >
7
- <!-- Custom HTML head -->
8
- < meta content ="text/html; charset=utf-8 " http-equiv ="Content-Type ">
9
- < meta name ="description " content ="">
10
- < meta name ="viewport " content ="width=device-width, initial-scale=1 ">
11
- < meta name ="theme-color " content ="#ffffff " />
12
-
13
- < link rel ="icon " href ="./favicon.svg ">
14
- < link rel ="shortcut icon " href ="./favicon.png ">
15
- < link rel ="stylesheet " href ="./static/wabook/css/variables.css ">
16
- < link rel ="stylesheet " href ="./static/wabook/css/general.css ">
17
- < link rel ="stylesheet " href ="./static/wabook/css/chrome.css ">
18
- < link rel ="stylesheet " href ="./static/wabook/css/print.css " media ="print ">
19
- <!-- Fonts -->
20
- < link rel ="stylesheet " href ="./static/wabook/FontAwesome/css/font-awesome.css ">
21
- < link rel ="stylesheet " href ="./static/wabook/fonts/fonts.css ">
22
- <!-- Highlight.js Stylesheets -->
23
- < link rel ="stylesheet " href ="./static/wabook/highlight.css ">
24
- < link rel ="stylesheet " href ="./static/wabook/tomorrow-night.css ">
25
- < link rel ="stylesheet " href ="./static/wabook/ayu-highlight.css ">
26
-
27
- <!-- Custom theme stylesheets -->
28
- </ head >
29
- < body >
30
- <!-- Provide site root to javascript -->
31
- < script type ="text/javascript ">
32
- var path_to_root = "./" ;
33
- var default_theme = window . matchMedia ( "(prefers-color-scheme: dark)" ) . matches ? "navy" : "light" ;
34
- </ script >
35
-
36
- <!-- Work around some values being stored in localStorage wrapped in quotes -->
37
- < script type ="text/javascript ">
38
- try {
39
- var theme = localStorage . getItem ( 'wabook-theme' ) ;
40
- var sidebar = localStorage . getItem ( 'wabook-sidebar' ) ;
41
-
42
- if ( theme . startsWith ( '"' ) && theme . endsWith ( '"' ) ) {
43
- localStorage . setItem ( 'wabook-theme' , theme . slice ( 1 , theme . length - 1 ) ) ;
44
- }
45
-
46
- if ( sidebar . startsWith ( '"' ) && sidebar . endsWith ( '"' ) ) {
47
- localStorage . setItem ( 'wabook-sidebar' , sidebar . slice ( 1 , sidebar . length - 1 ) ) ;
48
- }
49
- } catch ( e ) { }
50
- </ script >
51
-
52
- <!-- Set the theme before any content is loaded, prevents flash -->
53
- < script type ="text/javascript ">
54
- var theme ;
55
- try { theme = localStorage . getItem ( 'wabook-theme' ) ; } catch ( e ) { }
56
- if ( theme === null || theme === undefined ) { theme = default_theme ; }
57
- var html = document . querySelector ( 'html' ) ;
58
- html . classList . remove ( 'no-js' )
59
- html . classList . remove ( 'light' )
60
- html . classList . add ( theme ) ;
61
- html . classList . add ( 'js' ) ;
62
- </ script >
63
-
64
- <!-- Hide / unhide sidebar before it is displayed -->
65
- < script type ="text/javascript ">
66
- var html = document . querySelector ( 'html' ) ;
67
- var sidebar = 'hidden' ;
68
- if ( document . body . clientWidth >= 1080 ) {
69
- try { sidebar = localStorage . getItem ( 'wabook-sidebar' ) ; } catch ( e ) { }
70
- sidebar = sidebar || 'visible' ;
71
- }
72
- html . classList . remove ( 'sidebar-visible' ) ;
73
- html . classList . add ( "sidebar-" + sidebar ) ;
74
- </ script >
75
-
76
- < nav id ="sidebar " class ="sidebar " aria-label ="Table of contents ">
77
- < div class ="sidebar-scrollbox ">
78
- < ol class ="chapter ">
79
- < li class ="chapter-item expanded ">
80
- < a href ="./index.html " class ="active "> 凹语言分享</ a >
81
- </ li >
82
- </ ol >
83
-
84
- </ div >
85
- < div id ="sidebar-resize-handle " class ="sidebar-resize-handle "> </ div >
86
- </ nav >
87
-
88
- < div id ="page-wrapper " class ="page-wrapper ">
89
-
90
- < div class ="page ">
91
- < div id ="menu-bar-hover-placeholder "> </ div >
92
- < div id ="menu-bar " class ="menu-bar sticky bordered ">
93
- < div class ="left-buttons ">
94
- < button id ="sidebar-toggle " class ="icon-button " type ="button " title ="Toggle Table of Contents " aria-label ="Toggle Table of Contents " aria-controls ="sidebar ">
95
- < i class ="fa fa-bars "> </ i >
96
- </ button >
97
- < button id ="theme-toggle " class ="icon-button " type ="button " title ="Change theme " aria-label ="Change theme " aria-haspopup ="true " aria-expanded ="false " aria-controls ="theme-list ">
98
- < i class ="fa fa-paint-brush "> </ i >
99
- </ button >
100
- < ul id ="theme-list " class ="theme-popup " aria-label ="Themes " role ="menu ">
101
- < li role ="none "> < button role ="menuitem " class ="theme " id ="light "> Light (default)</ button > </ li >
102
- < li role ="none "> < button role ="menuitem " class ="theme " id ="coal "> Coal</ button > </ li >
103
- < li role ="none "> < button role ="menuitem " class ="theme " id ="navy "> Navy</ button > </ li >
104
- < li role ="none "> < button role ="menuitem " class ="theme " id ="ayu "> Ayu</ button > </ li >
105
- </ ul >
106
- </ div >
107
-
108
- < h1 class ="menu-title "> < a href ="./index.html "> book title</ a > </ h1 >
109
-
110
- < div class ="right-buttons ">
111
- < a href ="https://github.com/wa-lang/wa-lang-cn.github.io " title ="Git repository " aria-label ="Git repository ">
112
- < i id ="git-repository-button " class ="fa fa-github "> </ i >
113
- </ a >
114
- < a href ="https://github.com/wa-lang/wa-lang-cn.github.io/edit/master/docs/talks/index.md " title ="Suggest an edit " aria-label ="Suggest an edit ">
115
- < i id ="git-edit-button " class ="fa fa-edit "> </ i >
116
- </ a >
117
- </ div >
118
- </ div >
119
-
120
- <!-- Apply ARIA attributes after the sidebar and the sidebar toggle button are added to the DOM -->
121
- < script type ="text/javascript ">
122
- document . getElementById ( 'sidebar-toggle' ) . setAttribute ( 'aria-expanded' , sidebar === 'visible' ) ;
123
- document . getElementById ( 'sidebar' ) . setAttribute ( 'aria-hidden' , sidebar !== 'visible' ) ;
124
- Array . from ( document . querySelectorAll ( '#sidebar a' ) ) . forEach ( function ( link ) {
125
- link . setAttribute ( 'tabIndex' , sidebar === 'visible' ? 0 : - 1 ) ;
126
- } ) ;
127
- </ script >
128
-
129
- < div id ="content " class ="content ">
130
- <!-- Page table of contents -->
131
- < div class ="sidetoc "> < nav class ="pagetoc "> </ nav > </ div >
132
-
133
- < main >
134
-
135
-
136
- < h1 > 凹语言分享</ h1 >
137
- < ul >
138
- < li > < a href ="./ssa-bug "> 凹语言map与Φ指令的纠葛</ a > </ li >
139
- </ ul >
140
-
141
-
142
-
143
-
144
-
145
-
146
-
147
- </ main >
148
-
149
- < nav class ="nav-wrapper " aria-label ="Page navigation ">
150
- <!-- Mobile navigation buttons -->
151
-
152
-
153
- < div style ="clear: both "> </ div >
154
- </ nav >
155
- </ div >
156
- </ div >
157
-
158
- < nav class ="nav-wide-wrapper " aria-label ="Page navigation ">
159
-
160
-
161
- </ nav >
162
-
163
- </ div >
164
-
165
- < script type ="text/javascript ">
166
- window . playground_copyable = true ;
167
- </ script >
168
- < script src ="./static/wabook/mark.min.js " type ="text/javascript " charset ="utf-8 "> </ script >
169
- < script src ="./static/wabook/clipboard.min.js " type ="text/javascript " charset ="utf-8 "> </ script >
170
- < script src ="./static/wabook/highlight.js " type ="text/javascript " charset ="utf-8 "> </ script >
171
- < script src ="./static/wabook/book.js " type ="text/javascript " charset ="utf-8 "> </ script >
172
-
173
- < script type ="text/javascript " charset ="utf-8 ">
174
- var pagePath = "index.md"
175
- </ script >
176
-
177
- <!-- Custom JS scripts -->
178
-
179
-
180
- </ body >
181
- </ html >
1
+ hello wabook
0 commit comments