gitextract_blccy3x8/
├── .gitignore
├── 404.html
├── CNAME
├── Gemfile
├── Gruntfile.js
├── LICENSE
├── README.md
├── Rakefile
├── _config.yml
├── _doc/
│ ├── Manual.md
│ └── README.zh.md
├── _includes/
│ ├── about/
│ │ ├── en.md
│ │ └── zh.md
│ ├── ads.html
│ ├── featured-tags.html
│ ├── footer.html
│ ├── friends.html
│ ├── head.html
│ ├── intro-header.html
│ ├── mathjax_support.html
│ ├── multilingual-sel.html
│ ├── nav.html
│ ├── posts/
│ │ └── 2017-07-12-upgrading-eleme-to-pwa/
│ │ ├── en.md
│ │ └── zh.md
│ ├── search.html
│ ├── short-about.html
│ └── sns-links.html
├── _layouts/
│ ├── default.html
│ ├── keynote.html
│ ├── page.html
│ └── post.html
├── _posts/
│ ├── 2014-01-29-hello-2015.markdown
│ ├── 2014-08-16-miui6.markdown
│ ├── 2014-09-04-is-pure-android-better.markdown
│ ├── 2014-10-01-why-alibaba-ux-sucks.markdown
│ ├── 2014-11-20-responsive-web-design.markdown
│ ├── 2014-12-13-wechat-block-kuaidi.markdown
│ ├── 2015-03-10-apple-event-2015.markdown
│ ├── 2015-03-25-digital-native.markdown
│ ├── 2015-03-31-e2e_user_scenarios.markdown
│ ├── 2015-04-14-unix-linux-note.markdown
│ ├── 2015-04-15-os-metro.markdown
│ ├── 2015-05-11-see-u-ali.markdown
│ ├── 2015-05-25-js-module-loader.markdown
│ ├── 2015-06-15-alitrip-strategy.markdown
│ ├── 2015-07-09-js-module-7day.markdown
│ ├── 2015-09-22-js-version.markdown
│ ├── 2015-10-28-how-designer-learn-fe.markdown
│ ├── 2015-12-15-ios9-safari-web.markdown
│ ├── 2015-12-28-css-sucks-2015.markdown
│ ├── 2016-02-01-React-vs-Angular2.markdown
│ ├── 2016-06-05-pwa-in-my-pov.markdown
│ ├── 2016-09-22-the-open-web.md
│ ├── 2016-10-20-pwa-qcon2016.markdown
│ ├── 2016-11-20-sw-101-gdgdf.markdown
│ ├── 2017-01-09-wechat-miniapp-ux.md
│ ├── 2017-02-09-nextgen-web-pwa.markdown
│ ├── 2017-04-06-html-document.md
│ ├── 2017-05-28-sw-precache.md
│ ├── 2017-06-25-you-are-slaves.markdown
│ ├── 2017-07-12-upgrading-eleme-to-pwa.markdown
│ ├── 2017-07-26-farewell-flash.md
│ ├── 2017-10-06-css-complaints.md
│ ├── 2017-12-12-halting-problem.md
│ ├── 2017-12-12-uncomputable-funcs.md
│ ├── 2018-05-11-pwa-zh-preface.md
│ ├── 2018-06-30-dreamer.md
│ ├── 2018-09-27-avoiding-success-at-all-cost.md
│ ├── 2018-10-06-vim-cn-im.md
│ ├── 2019-09-03-vim-from-finder.md
│ ├── 2019-09-08-spacemacs-workflow.md
│ ├── 2019-11-19-is-pwa-dead-in-2019.md
│ ├── 2020-04-03-react-hooks-vue-composition.md
│ ├── 2020-07-05-reflection-2020.md
│ ├── 2021-01-19-the-systematic-failure-of-higher-education-in-china.md
│ ├── 2021-04-10-js-20yrs-preface.md
│ ├── cs_idols/
│ │ └── 2019-09-13-peter-john-landin.md
│ ├── data_rep/
│ │ ├── 2020-06-19-data-rep-int.md
│ │ ├── 2020-06-21-data-rep-float.md
│ │ └── 2020-06-21-data-rep-todo.md
│ ├── hidden/
│ │ └── 2020-05-05-pl-chart.md
│ ├── read_sf_lf/
│ │ ├── 2019-01-01-sf-lf-01-basics.md
│ │ ├── 2019-01-02-sf-lf-02-induction.md
│ │ ├── 2019-01-03-sf-lf-03-list.md
│ │ ├── 2019-01-04-sf-lf-04-poly.md
│ │ ├── 2019-01-05-sf-lf-05-tactics.md
│ │ ├── 2019-01-06-sf-lf-06-logic.md
│ │ ├── 2019-01-07-sf-lf-07-indprop.md
│ │ ├── 2019-01-08-sf-lf-08-map.md
│ │ ├── 2019-01-09-sf-lf-09-proof-object.md
│ │ ├── 2019-01-10-sf-lf-10-ind-principle.md
│ │ ├── 2019-01-11-sf-lf-11-rel.md
│ │ ├── 2019-01-12-sf-lf-12-imp.md
│ │ ├── 2019-01-13-sf-lf-13-imp-parser.md
│ │ ├── 2019-01-14-sf-lf-14-imp-ceval.md
│ │ ├── 2019-01-15-sf-lf-15-extraction.md
│ │ └── 2019-01-16-sf-lf-16-auto.md
│ ├── read_sf_plf/
│ │ ├── 2019-03-01-sf-plf-01-equiv.md
│ │ ├── 2019-03-02-sf-plf-02-hoare-1.md
│ │ ├── 2019-03-03-sf-plf-03-hoare-2.md
│ │ ├── 2019-03-04-sf-plf-04-hoare-logic.md
│ │ ├── 2019-03-05-sf-plf-05-smallstep.md
│ │ ├── 2019-03-06-sf-plf-06-types.md
│ │ ├── 2019-03-07-sf-plf-07-STLC.md
│ │ ├── 2019-03-08-sf-plf-08-STLC-prop.md
│ │ ├── 2019-03-09-sf-plf-09-more-STLC.md
│ │ ├── 2019-03-10-sf-plf-10-subtyping.md
│ │ ├── 2019-03-11-sf-plf-11-typechecking.md
│ │ ├── 2019-03-12-sf-plf-12-records.md
│ │ ├── 2019-03-13-sf-plf-13-references.md
│ │ ├── 2019-03-14-sf-plf-14-record-sub.md
│ │ ├── 2019-03-15-sf-plf-15-norm-STLC.md
│ │ ├── 2019-03-16-sf-plf-16-lib-tactics.md
│ │ ├── 2019-03-17-sf-plf-17-use-tactics.md
│ │ ├── 2019-03-18-sf-plf-18-use-auto.md
│ │ └── 2019-03-19-sf-plf-19-partial-eval.md
│ └── read_sf_qc/
│ └── 2019-09-02-sf-qc-02-typeclasses.md
├── about.html
├── ads.txt
├── archive.html
├── css/
│ ├── bootstrap.css
│ └── hux-blog.css
├── feed.xml
├── index.html
├── js/
│ ├── archive.js
│ ├── bootstrap.js
│ ├── hux-blog.js
│ ├── jquery.js
│ ├── jquery.nav.js
│ ├── jquery.tagcloud.js
│ ├── snackbar.js
│ └── sw-registration.js
├── less/
│ ├── highlight.less
│ ├── hux-blog.less
│ ├── mixins.less
│ ├── search.less
│ ├── side-catalog.less
│ ├── sidebar.less
│ ├── snackbar.less
│ └── variables.less
├── offline.html
├── package.json
├── pwa/
│ └── manifest.json
├── search.json
└── sw.js