From 400cc14fa974517bba1add555de896d7984f5b77 Mon Sep 17 00:00:00 2001 From: Marvin Borner Date: Mon, 21 Oct 2024 17:39:18 +0200 Subject: Initial commit --- abstract.md | 9 + docs/404.html | 25 + docs/_redirects | 1 + docs/assets/404-n_Eqdu3W.css | 1 + docs/assets/CodeRunner-DcJPFc8h.css | 1 + docs/assets/DrawingControls-Cxk9a9ub.css | 1 + docs/assets/KaTeX_AMS-Regular-BQhdFMY1.woff2 | Bin 0 -> 28076 bytes docs/assets/KaTeX_AMS-Regular-DMm9YOAa.woff | Bin 0 -> 33516 bytes docs/assets/KaTeX_AMS-Regular-DRggAlZN.ttf | Bin 0 -> 63632 bytes docs/assets/KaTeX_Caligraphic-Bold-ATXxdsX0.ttf | Bin 0 -> 12368 bytes docs/assets/KaTeX_Caligraphic-Bold-BEiXGLvX.woff | Bin 0 -> 7716 bytes docs/assets/KaTeX_Caligraphic-Bold-Dq_IR9rO.woff2 | Bin 0 -> 6912 bytes .../assets/KaTeX_Caligraphic-Regular-CTRA-rTL.woff | Bin 0 -> 7656 bytes .../KaTeX_Caligraphic-Regular-Di6jR-x-.woff2 | Bin 0 -> 6908 bytes docs/assets/KaTeX_Caligraphic-Regular-wX97UBjC.ttf | Bin 0 -> 12344 bytes docs/assets/KaTeX_Fraktur-Bold-BdnERNNW.ttf | Bin 0 -> 19584 bytes docs/assets/KaTeX_Fraktur-Bold-BsDP51OF.woff | Bin 0 -> 13296 bytes docs/assets/KaTeX_Fraktur-Bold-CL6g_b3V.woff2 | Bin 0 -> 11348 bytes docs/assets/KaTeX_Fraktur-Regular-CB_wures.ttf | Bin 0 -> 19572 bytes docs/assets/KaTeX_Fraktur-Regular-CTYiF6lA.woff2 | Bin 0 -> 11316 bytes docs/assets/KaTeX_Fraktur-Regular-Dxdc4cR9.woff | Bin 0 -> 13208 bytes docs/assets/KaTeX_Main-Bold-Cx986IdX.woff2 | Bin 0 -> 25324 bytes docs/assets/KaTeX_Main-Bold-Jm3AIy58.woff | Bin 0 -> 29912 bytes docs/assets/KaTeX_Main-Bold-waoOVXN0.ttf | Bin 0 -> 51336 bytes docs/assets/KaTeX_Main-BoldItalic-DxDJ3AOS.woff2 | Bin 0 -> 16780 bytes docs/assets/KaTeX_Main-BoldItalic-DzxPMmG6.ttf | Bin 0 -> 32968 bytes docs/assets/KaTeX_Main-BoldItalic-SpSLRI95.woff | Bin 0 -> 19412 bytes docs/assets/KaTeX_Main-Italic-3WenGoN9.ttf | Bin 0 -> 33580 bytes docs/assets/KaTeX_Main-Italic-BMLOBm91.woff | Bin 0 -> 19676 bytes docs/assets/KaTeX_Main-Italic-NWA7e6Wa.woff2 | Bin 0 -> 16988 bytes docs/assets/KaTeX_Main-Regular-B22Nviop.woff2 | Bin 0 -> 26272 bytes docs/assets/KaTeX_Main-Regular-Dr94JaBh.woff | Bin 0 -> 30772 bytes docs/assets/KaTeX_Main-Regular-ypZvNtVU.ttf | Bin 0 -> 53580 bytes docs/assets/KaTeX_Math-BoldItalic-B3XSjfu4.ttf | Bin 0 -> 31196 bytes docs/assets/KaTeX_Math-BoldItalic-CZnvNsCZ.woff2 | Bin 0 -> 16400 bytes docs/assets/KaTeX_Math-BoldItalic-iY-2wyZ7.woff | Bin 0 -> 18668 bytes docs/assets/KaTeX_Math-Italic-DA0__PXp.woff | Bin 0 -> 18748 bytes docs/assets/KaTeX_Math-Italic-flOr_0UB.ttf | Bin 0 -> 31308 bytes docs/assets/KaTeX_Math-Italic-t53AETM-.woff2 | Bin 0 -> 16440 bytes docs/assets/KaTeX_SansSerif-Bold-CFMepnvq.ttf | Bin 0 -> 24504 bytes docs/assets/KaTeX_SansSerif-Bold-D1sUS0GD.woff2 | Bin 0 -> 12216 bytes docs/assets/KaTeX_SansSerif-Bold-DbIhKOiC.woff | Bin 0 -> 14408 bytes docs/assets/KaTeX_SansSerif-Italic-C3H0VqGB.woff2 | Bin 0 -> 12028 bytes docs/assets/KaTeX_SansSerif-Italic-DN2j7dab.woff | Bin 0 -> 14112 bytes docs/assets/KaTeX_SansSerif-Italic-YYjJ1zSn.ttf | Bin 0 -> 22364 bytes docs/assets/KaTeX_SansSerif-Regular-BNo7hRIc.ttf | Bin 0 -> 19436 bytes docs/assets/KaTeX_SansSerif-Regular-CS6fqUqJ.woff | Bin 0 -> 12316 bytes docs/assets/KaTeX_SansSerif-Regular-DDBCnlJ7.woff2 | Bin 0 -> 10344 bytes docs/assets/KaTeX_Script-Regular-C5JkGWo-.ttf | Bin 0 -> 16648 bytes docs/assets/KaTeX_Script-Regular-D3wIWfF6.woff2 | Bin 0 -> 9644 bytes docs/assets/KaTeX_Script-Regular-D5yQViql.woff | Bin 0 -> 10588 bytes docs/assets/KaTeX_Size1-Regular-C195tn64.woff | Bin 0 -> 6496 bytes docs/assets/KaTeX_Size1-Regular-Dbsnue_I.ttf | Bin 0 -> 12228 bytes docs/assets/KaTeX_Size1-Regular-mCD8mA8B.woff2 | Bin 0 -> 5468 bytes docs/assets/KaTeX_Size2-Regular-B7gKUWhC.ttf | Bin 0 -> 11508 bytes docs/assets/KaTeX_Size2-Regular-Dy4dx90m.woff2 | Bin 0 -> 5208 bytes docs/assets/KaTeX_Size2-Regular-oD1tc_U0.woff | Bin 0 -> 6188 bytes docs/assets/KaTeX_Size3-Regular-CTq5MqoE.woff | Bin 0 -> 4420 bytes docs/assets/KaTeX_Size3-Regular-DgpXs0kz.ttf | Bin 0 -> 7588 bytes docs/assets/KaTeX_Size4-Regular-BF-4gkZK.woff | Bin 0 -> 5980 bytes docs/assets/KaTeX_Size4-Regular-DWFBv043.ttf | Bin 0 -> 10364 bytes docs/assets/KaTeX_Size4-Regular-Dl5lxZxV.woff2 | Bin 0 -> 4928 bytes docs/assets/KaTeX_Typewriter-Regular-C0xS9mPB.woff | Bin 0 -> 16028 bytes .../assets/KaTeX_Typewriter-Regular-CO6r4hn1.woff2 | Bin 0 -> 13568 bytes docs/assets/KaTeX_Typewriter-Regular-D3Ib7_Hf.ttf | Bin 0 -> 27556 bytes docs/assets/Monaco-COspDR16.css | 1 + ...aco.vue_vue_type_style_index_0_lang-PDEG0sxg.js | 2 + docs/assets/NoteDisplay-kJrsBVRx.css | 1 + docs/assets/SlideWrapper-D-ORDv98.css | 1 + docs/assets/codicon-DCmgc-ay.ttf | Bin 0 -> 80340 bytes docs/assets/css.worker-9mYIcYwc.js | 84 + docs/assets/editor.worker-oRlJJsnX.js | 12 + docs/assets/entry-VRLb5f9Z.css | 1 + docs/assets/html.worker-cftAoxKd.js | 461 + docs/assets/index-CGHbX1oj.css | 1 + docs/assets/index-Da-oe7Cw.js | 95 + docs/assets/json.worker-CJ89eVXr.js | 49 + docs/assets/logo-BYkHSa_O.png | Bin 0 -> 94320 bytes docs/assets/md-1JH4n7HQ.js | 1 + docs/assets/md-5Bkjs5et.js | 2 + docs/assets/md-9wuO6xgO.js | 1 + docs/assets/md-B2tNCsUg.js | 2 + docs/assets/md-B3gM_aLi.js | 2 + docs/assets/md-B46whd7y.js | 3 + docs/assets/md-BCsvnU1G.js | 1 + docs/assets/md-BMx_EcJM.js | 1 + docs/assets/md-BTxTxIcV.js | 1 + docs/assets/md-BW7_HJTh.js | 4 + docs/assets/md-BhMNIGO-.js | 1 + docs/assets/md-BlV4tDf7.js | 1 + docs/assets/md-CKWXIRj9.js | 1 + docs/assets/md-CLLTnEZ7.js | 1 + docs/assets/md-CW4SE-QG.js | 1 + docs/assets/md-C_l7Kv4p.js | 1 + docs/assets/md-CePMrKWo.js | 1 + docs/assets/md-CnRKUBhD.js | 6 + docs/assets/md-CodFZ4QM.js | 1 + docs/assets/md-CoooLRyL.js | 1 + docs/assets/md-CrFSu7wK.js | 1 + docs/assets/md-CvjSSd-j.js | 1 + docs/assets/md-DBY66ZvP.js | 1 + docs/assets/md-DHlhFPM5.js | 1 + docs/assets/md-DMKKtLyU.js | 1 + docs/assets/md-DNuVt8V8.js | 1 + docs/assets/md-DQ2E402P.js | 1 + docs/assets/md-DTXsVKV9.js | 1 + docs/assets/md-DUAIk41M.js | 1 + docs/assets/md-DWSVng2s.js | 1 + docs/assets/md-D_pZLUDz.js | 1 + docs/assets/md-DdH2xtAn.js | 1 + docs/assets/md-DgnI8Bd4.js | 1 + docs/assets/md-Dq6iqmEs.js | 1 + docs/assets/md-DtHqeZS0.js | 3 + docs/assets/md-Du6urbl_.js | 1 + docs/assets/md-DuSHXnxV.js | 1 + docs/assets/md-DyvObES2.js | 3 + docs/assets/md-Esu_vpIB.js | 1 + docs/assets/md-OQJduEAz.js | 1 + docs/assets/md-P0Anrfeg.js | 1 + docs/assets/md-RRrviqmf.css | 1 + docs/assets/md-UMyVtbKA.js | 1 + docs/assets/md-VAjAPvfg.js | 17 + docs/assets/md-Zw3N9h5o.js | 1 + docs/assets/md-chp4UUUX.js | 1 + docs/assets/md-snUBHVES.js | 1 + docs/assets/modules/file-saver-igGfcqei.js | 1 + docs/assets/modules/shiki-BNMsYMPq.js | 12 + docs/assets/modules/shiki-Bxv373Z5.css | 1 + docs/assets/modules/unplugin-icons-DdQIwbVj.js | 1 + docs/assets/modules/vue-DPv8DyWv.js | 40 + docs/assets/monaco/abap-Dwu-KH2x.js | 6 + docs/assets/monaco/apex-Dn-XaljK.js | 6 + docs/assets/monaco/azcli-C9RgAbUI.js | 6 + docs/assets/monaco/bat-CoZ5qQQA.js | 6 + docs/assets/monaco/bicep-BTXPn4uT.js | 7 + docs/assets/monaco/bundled-types-B0l6HWZX.js | 1191 + docs/assets/monaco/bundled-types-B_1qVWDs.css | 1 + docs/assets/monaco/cameligo-J_4-LjdT.js | 6 + docs/assets/monaco/clojure-DDKRPAGl.js | 6 + docs/assets/monaco/coffee-C8z2l6sj.js | 6 + docs/assets/monaco/cpp-DI3p9f9v.js | 6 + docs/assets/monaco/csharp-Bya7J2fC.js | 6 + docs/assets/monaco/csp-g7vr-vut.js | 6 + docs/assets/monaco/css-fOVBx6Gk.js | 8 + docs/assets/monaco/cssMode-8LFZwXV3.js | 9 + docs/assets/monaco/cypher-DciL1opS.js | 6 + docs/assets/monaco/dart-CAkRrlCV.js | 6 + docs/assets/monaco/dockerfile-CHkS34TV.js | 6 + docs/assets/monaco/ecl-qjrLrnvP.js | 6 + docs/assets/monaco/elixir-Bn2aVyyF.js | 6 + docs/assets/monaco/flow9-CcGMeAxr.js | 6 + docs/assets/monaco/freemarker2-OnI5Gveq.js | 8 + docs/assets/monaco/fsharp-P5WqO7sL.js | 6 + docs/assets/monaco/go-DHzw8g6E.js | 6 + docs/assets/monaco/graphql-DHR0rah7.js | 6 + docs/assets/monaco/handlebars-BHvBDF_T.js | 6 + docs/assets/monaco/hcl-C75BKXms.js | 6 + docs/assets/monaco/html-DfZYg3qg.js | 6 + docs/assets/monaco/htmlMode-c_yfuTN3.js | 9 + docs/assets/monaco/ini-BJrO4HmQ.js | 6 + docs/assets/monaco/java-BZVcG1df.js | 6 + docs/assets/monaco/javascript-DbX-vxQa.js | 6 + docs/assets/monaco/jsonMode-BkHO8n_X.js | 15 + docs/assets/monaco/julia-y6tXNwRO.js | 6 + docs/assets/monaco/kotlin-a3XSJ_gM.js | 6 + docs/assets/monaco/less-DFUTkVLx.js | 7 + docs/assets/monaco/lexon-DVsYuwex.js | 6 + docs/assets/monaco/liquid-fLVojwb4.js | 6 + docs/assets/monaco/lua-DYx-Jejz.js | 6 + docs/assets/monaco/m3-BMrvfaad.js | 6 + docs/assets/monaco/markdown-DuPmBnHi.js | 6 + docs/assets/monaco/mdx-gI0abYvb.js | 6 + docs/assets/monaco/mips-BqUeXQd9.js | 6 + docs/assets/monaco/msdax-Dw-TSVhm.js | 6 + docs/assets/monaco/mysql-CcpH9Ljq.js | 6 + docs/assets/monaco/objective-c-BRNxDdm3.js | 6 + docs/assets/monaco/pascal-Cn8aAeCV.js | 6 + docs/assets/monaco/pascaligo-dBAnVStS.js | 6 + docs/assets/monaco/perl-C4L3BrdA.js | 6 + docs/assets/monaco/pgsql-BOSk5tQb.js | 6 + docs/assets/monaco/php-DzsKq5vr.js | 6 + docs/assets/monaco/pla-C6GoMDq5.js | 6 + docs/assets/monaco/postiats-DQpJ_7Kk.js | 6 + docs/assets/monaco/powerquery-M-mSA4YD.js | 6 + docs/assets/monaco/powershell-DzOgjbHk.js | 6 + docs/assets/monaco/protobuf-BIE5FnyZ.js | 7 + docs/assets/monaco/pug-s9KOoKAL.js | 6 + docs/assets/monaco/python-D975luWu.js | 6 + docs/assets/monaco/qsharp-DWDrKSir.js | 6 + docs/assets/monaco/r-DnKTOUT4.js | 6 + docs/assets/monaco/razor-BSJ28aAe.js | 6 + docs/assets/monaco/redis-CWZNkOVt.js | 6 + docs/assets/monaco/redshift-Bhrh1xcx.js | 6 + docs/assets/monaco/restructuredtext-CWmU_seV.js | 6 + docs/assets/monaco/ruby-2Tz7EiV8.js | 6 + docs/assets/monaco/rust-CrxrYIVW.js | 6 + docs/assets/monaco/sb-DkpzO6Ij.js | 6 + docs/assets/monaco/scala-Du7mGxrp.js | 6 + docs/assets/monaco/scheme-DnCYVA2x.js | 6 + docs/assets/monaco/scss-3iLYYaxs.js | 8 + docs/assets/monaco/shell-D4ITwtg2.js | 6 + docs/assets/monaco/solidity-Bq53zNw4.js | 6 + docs/assets/monaco/sophia-BtzCauDs.js | 6 + docs/assets/monaco/sparql-7--tI-JV.js | 6 + docs/assets/monaco/sql-B8Hnjumu.js | 6 + docs/assets/monaco/st-BtpAQKub.js | 6 + docs/assets/monaco/swift-CVGPmAnX.js | 8 + docs/assets/monaco/systemverilog-CzfWLrvP.js | 6 + docs/assets/monaco/tcl-0V1PA5XN.js | 6 + docs/assets/monaco/tsMode-CSjQzO28.js | 16 + docs/assets/monaco/twig-BwWq3-l7.js | 6 + docs/assets/monaco/typescript-DSer1JU9.js | 6 + docs/assets/monaco/typespec-B73e1L9X.js | 6 + docs/assets/monaco/vb-ByO2b-39.js | 6 + docs/assets/monaco/wgsl-DYQqGqAW.js | 303 + docs/assets/monaco/xml-Bfx2yygV.js | 6 + docs/assets/monaco/yaml-BZGo8wj-.js | 6 + docs/assets/play-D_7yfuao.css | 1 + docs/assets/presenter-BkjXb8nn.css | 1 + docs/assets/shortcuts-BAPqYAhK.css | 1 + docs/assets/slidev/404-36mg7bFt.js | 1 + ...vue_vue_type_script_setup_true_lang-C87JWgs7.js | 1 + docs/assets/slidev/CodeRunner-DT1_kUbn.js | 9 + docs/assets/slidev/DrawingControls-QAEkhfiz.js | 1 + ...ols.vue_vue_type_style_index_0_lang-j1j1HRFG.js | 1 + docs/assets/slidev/DrawingLayer-DoZ9KrJP.js | 1 + ...vue_vue_type_script_setup_true_lang-D92RVpEC.js | 1 + ...lay.vue_vue_type_style_index_0_lang-B38dLyf3.js | 1 + docs/assets/slidev/SlideWrapper-Ccnvj0Sw.js | 1 + docs/assets/slidev/VClicks-BJgSDv3Q.js | 1 + docs/assets/slidev/context-DlCOjm-I.js | 1 + ...vue_vue_type_script_setup_true_lang-BcnL1efM.js | 1 + docs/assets/slidev/default-DYfprxyr.js | 1 + docs/assets/slidev/entry-BuL9-yYF.js | 1 + docs/assets/slidev/notes-DJw_rOv3.js | 1 + docs/assets/slidev/overview-1yejmVit.js | 1 + docs/assets/slidev/play-D87vDAm9.js | 2 + docs/assets/slidev/presenter-DtNW9EJv.js | 1 + docs/assets/slidev/shiki-Bsl5RiOy.js | 2 + docs/assets/slidev/shortcuts-TVJpHdJV.js | 4 + docs/assets/ts.worker-Brk6wN3W.js | 51334 +++++++++++++++++++ docs/index.html | 25 + impls.js | 277 + slides/readme.md | 2 + slides/slides.md | 692 + 245 files changed, 55282 insertions(+) create mode 100644 abstract.md create mode 100644 docs/404.html create mode 100644 docs/_redirects create mode 100644 docs/assets/404-n_Eqdu3W.css create mode 100644 docs/assets/CodeRunner-DcJPFc8h.css create mode 100644 docs/assets/DrawingControls-Cxk9a9ub.css create mode 100644 docs/assets/KaTeX_AMS-Regular-BQhdFMY1.woff2 create mode 100644 docs/assets/KaTeX_AMS-Regular-DMm9YOAa.woff create mode 100644 docs/assets/KaTeX_AMS-Regular-DRggAlZN.ttf create mode 100644 docs/assets/KaTeX_Caligraphic-Bold-ATXxdsX0.ttf create mode 100644 docs/assets/KaTeX_Caligraphic-Bold-BEiXGLvX.woff create mode 100644 docs/assets/KaTeX_Caligraphic-Bold-Dq_IR9rO.woff2 create mode 100644 docs/assets/KaTeX_Caligraphic-Regular-CTRA-rTL.woff create mode 100644 docs/assets/KaTeX_Caligraphic-Regular-Di6jR-x-.woff2 create mode 100644 docs/assets/KaTeX_Caligraphic-Regular-wX97UBjC.ttf create mode 100644 docs/assets/KaTeX_Fraktur-Bold-BdnERNNW.ttf create mode 100644 docs/assets/KaTeX_Fraktur-Bold-BsDP51OF.woff create mode 100644 docs/assets/KaTeX_Fraktur-Bold-CL6g_b3V.woff2 create mode 100644 docs/assets/KaTeX_Fraktur-Regular-CB_wures.ttf create mode 100644 docs/assets/KaTeX_Fraktur-Regular-CTYiF6lA.woff2 create mode 100644 docs/assets/KaTeX_Fraktur-Regular-Dxdc4cR9.woff create mode 100644 docs/assets/KaTeX_Main-Bold-Cx986IdX.woff2 create mode 100644 docs/assets/KaTeX_Main-Bold-Jm3AIy58.woff create mode 100644 docs/assets/KaTeX_Main-Bold-waoOVXN0.ttf create mode 100644 docs/assets/KaTeX_Main-BoldItalic-DxDJ3AOS.woff2 create mode 100644 docs/assets/KaTeX_Main-BoldItalic-DzxPMmG6.ttf create mode 100644 docs/assets/KaTeX_Main-BoldItalic-SpSLRI95.woff create mode 100644 docs/assets/KaTeX_Main-Italic-3WenGoN9.ttf create mode 100644 docs/assets/KaTeX_Main-Italic-BMLOBm91.woff create mode 100644 docs/assets/KaTeX_Main-Italic-NWA7e6Wa.woff2 create mode 100644 docs/assets/KaTeX_Main-Regular-B22Nviop.woff2 create mode 100644 docs/assets/KaTeX_Main-Regular-Dr94JaBh.woff create mode 100644 docs/assets/KaTeX_Main-Regular-ypZvNtVU.ttf create mode 100644 docs/assets/KaTeX_Math-BoldItalic-B3XSjfu4.ttf create mode 100644 docs/assets/KaTeX_Math-BoldItalic-CZnvNsCZ.woff2 create mode 100644 docs/assets/KaTeX_Math-BoldItalic-iY-2wyZ7.woff create mode 100644 docs/assets/KaTeX_Math-Italic-DA0__PXp.woff create mode 100644 docs/assets/KaTeX_Math-Italic-flOr_0UB.ttf create mode 100644 docs/assets/KaTeX_Math-Italic-t53AETM-.woff2 create mode 100644 docs/assets/KaTeX_SansSerif-Bold-CFMepnvq.ttf create mode 100644 docs/assets/KaTeX_SansSerif-Bold-D1sUS0GD.woff2 create mode 100644 docs/assets/KaTeX_SansSerif-Bold-DbIhKOiC.woff create mode 100644 docs/assets/KaTeX_SansSerif-Italic-C3H0VqGB.woff2 create mode 100644 docs/assets/KaTeX_SansSerif-Italic-DN2j7dab.woff create mode 100644 docs/assets/KaTeX_SansSerif-Italic-YYjJ1zSn.ttf create mode 100644 docs/assets/KaTeX_SansSerif-Regular-BNo7hRIc.ttf create mode 100644 docs/assets/KaTeX_SansSerif-Regular-CS6fqUqJ.woff create mode 100644 docs/assets/KaTeX_SansSerif-Regular-DDBCnlJ7.woff2 create mode 100644 docs/assets/KaTeX_Script-Regular-C5JkGWo-.ttf create mode 100644 docs/assets/KaTeX_Script-Regular-D3wIWfF6.woff2 create mode 100644 docs/assets/KaTeX_Script-Regular-D5yQViql.woff create mode 100644 docs/assets/KaTeX_Size1-Regular-C195tn64.woff create mode 100644 docs/assets/KaTeX_Size1-Regular-Dbsnue_I.ttf create mode 100644 docs/assets/KaTeX_Size1-Regular-mCD8mA8B.woff2 create mode 100644 docs/assets/KaTeX_Size2-Regular-B7gKUWhC.ttf create mode 100644 docs/assets/KaTeX_Size2-Regular-Dy4dx90m.woff2 create mode 100644 docs/assets/KaTeX_Size2-Regular-oD1tc_U0.woff create mode 100644 docs/assets/KaTeX_Size3-Regular-CTq5MqoE.woff create mode 100644 docs/assets/KaTeX_Size3-Regular-DgpXs0kz.ttf create mode 100644 docs/assets/KaTeX_Size4-Regular-BF-4gkZK.woff create mode 100644 docs/assets/KaTeX_Size4-Regular-DWFBv043.ttf create mode 100644 docs/assets/KaTeX_Size4-Regular-Dl5lxZxV.woff2 create mode 100644 docs/assets/KaTeX_Typewriter-Regular-C0xS9mPB.woff create mode 100644 docs/assets/KaTeX_Typewriter-Regular-CO6r4hn1.woff2 create mode 100644 docs/assets/KaTeX_Typewriter-Regular-D3Ib7_Hf.ttf create mode 100644 docs/assets/Monaco-COspDR16.css create mode 100644 docs/assets/Monaco.vue_vue_type_style_index_0_lang-PDEG0sxg.js create mode 100644 docs/assets/NoteDisplay-kJrsBVRx.css create mode 100644 docs/assets/SlideWrapper-D-ORDv98.css create mode 100644 docs/assets/codicon-DCmgc-ay.ttf create mode 100644 docs/assets/css.worker-9mYIcYwc.js create mode 100644 docs/assets/editor.worker-oRlJJsnX.js create mode 100644 docs/assets/entry-VRLb5f9Z.css create mode 100644 docs/assets/html.worker-cftAoxKd.js create mode 100644 docs/assets/index-CGHbX1oj.css create mode 100644 docs/assets/index-Da-oe7Cw.js create mode 100644 docs/assets/json.worker-CJ89eVXr.js create mode 100644 docs/assets/logo-BYkHSa_O.png create mode 100644 docs/assets/md-1JH4n7HQ.js create mode 100644 docs/assets/md-5Bkjs5et.js create mode 100644 docs/assets/md-9wuO6xgO.js create mode 100644 docs/assets/md-B2tNCsUg.js create mode 100644 docs/assets/md-B3gM_aLi.js create mode 100644 docs/assets/md-B46whd7y.js create mode 100644 docs/assets/md-BCsvnU1G.js create mode 100644 docs/assets/md-BMx_EcJM.js create mode 100644 docs/assets/md-BTxTxIcV.js create mode 100644 docs/assets/md-BW7_HJTh.js create mode 100644 docs/assets/md-BhMNIGO-.js create mode 100644 docs/assets/md-BlV4tDf7.js create mode 100644 docs/assets/md-CKWXIRj9.js create mode 100644 docs/assets/md-CLLTnEZ7.js create mode 100644 docs/assets/md-CW4SE-QG.js create mode 100644 docs/assets/md-C_l7Kv4p.js create mode 100644 docs/assets/md-CePMrKWo.js create mode 100644 docs/assets/md-CnRKUBhD.js create mode 100644 docs/assets/md-CodFZ4QM.js create mode 100644 docs/assets/md-CoooLRyL.js create mode 100644 docs/assets/md-CrFSu7wK.js create mode 100644 docs/assets/md-CvjSSd-j.js create mode 100644 docs/assets/md-DBY66ZvP.js create mode 100644 docs/assets/md-DHlhFPM5.js create mode 100644 docs/assets/md-DMKKtLyU.js create mode 100644 docs/assets/md-DNuVt8V8.js create mode 100644 docs/assets/md-DQ2E402P.js create mode 100644 docs/assets/md-DTXsVKV9.js create mode 100644 docs/assets/md-DUAIk41M.js create mode 100644 docs/assets/md-DWSVng2s.js create mode 100644 docs/assets/md-D_pZLUDz.js create mode 100644 docs/assets/md-DdH2xtAn.js create mode 100644 docs/assets/md-DgnI8Bd4.js create mode 100644 docs/assets/md-Dq6iqmEs.js create mode 100644 docs/assets/md-DtHqeZS0.js create mode 100644 docs/assets/md-Du6urbl_.js create mode 100644 docs/assets/md-DuSHXnxV.js create mode 100644 docs/assets/md-DyvObES2.js create mode 100644 docs/assets/md-Esu_vpIB.js create mode 100644 docs/assets/md-OQJduEAz.js create mode 100644 docs/assets/md-P0Anrfeg.js create mode 100644 docs/assets/md-RRrviqmf.css create mode 100644 docs/assets/md-UMyVtbKA.js create mode 100644 docs/assets/md-VAjAPvfg.js create mode 100644 docs/assets/md-Zw3N9h5o.js create mode 100644 docs/assets/md-chp4UUUX.js create mode 100644 docs/assets/md-snUBHVES.js create mode 100644 docs/assets/modules/file-saver-igGfcqei.js create mode 100644 docs/assets/modules/shiki-BNMsYMPq.js create mode 100644 docs/assets/modules/shiki-Bxv373Z5.css create mode 100644 docs/assets/modules/unplugin-icons-DdQIwbVj.js create mode 100644 docs/assets/modules/vue-DPv8DyWv.js create mode 100644 docs/assets/monaco/abap-Dwu-KH2x.js create mode 100644 docs/assets/monaco/apex-Dn-XaljK.js create mode 100644 docs/assets/monaco/azcli-C9RgAbUI.js create mode 100644 docs/assets/monaco/bat-CoZ5qQQA.js create mode 100644 docs/assets/monaco/bicep-BTXPn4uT.js create mode 100644 docs/assets/monaco/bundled-types-B0l6HWZX.js create mode 100644 docs/assets/monaco/bundled-types-B_1qVWDs.css create mode 100644 docs/assets/monaco/cameligo-J_4-LjdT.js create mode 100644 docs/assets/monaco/clojure-DDKRPAGl.js create mode 100644 docs/assets/monaco/coffee-C8z2l6sj.js create mode 100644 docs/assets/monaco/cpp-DI3p9f9v.js create mode 100644 docs/assets/monaco/csharp-Bya7J2fC.js create mode 100644 docs/assets/monaco/csp-g7vr-vut.js create mode 100644 docs/assets/monaco/css-fOVBx6Gk.js create mode 100644 docs/assets/monaco/cssMode-8LFZwXV3.js create mode 100644 docs/assets/monaco/cypher-DciL1opS.js create mode 100644 docs/assets/monaco/dart-CAkRrlCV.js create mode 100644 docs/assets/monaco/dockerfile-CHkS34TV.js create mode 100644 docs/assets/monaco/ecl-qjrLrnvP.js create mode 100644 docs/assets/monaco/elixir-Bn2aVyyF.js create mode 100644 docs/assets/monaco/flow9-CcGMeAxr.js create mode 100644 docs/assets/monaco/freemarker2-OnI5Gveq.js create mode 100644 docs/assets/monaco/fsharp-P5WqO7sL.js create mode 100644 docs/assets/monaco/go-DHzw8g6E.js create mode 100644 docs/assets/monaco/graphql-DHR0rah7.js create mode 100644 docs/assets/monaco/handlebars-BHvBDF_T.js create mode 100644 docs/assets/monaco/hcl-C75BKXms.js create mode 100644 docs/assets/monaco/html-DfZYg3qg.js create mode 100644 docs/assets/monaco/htmlMode-c_yfuTN3.js create mode 100644 docs/assets/monaco/ini-BJrO4HmQ.js create mode 100644 docs/assets/monaco/java-BZVcG1df.js create mode 100644 docs/assets/monaco/javascript-DbX-vxQa.js create mode 100644 docs/assets/monaco/jsonMode-BkHO8n_X.js create mode 100644 docs/assets/monaco/julia-y6tXNwRO.js create mode 100644 docs/assets/monaco/kotlin-a3XSJ_gM.js create mode 100644 docs/assets/monaco/less-DFUTkVLx.js create mode 100644 docs/assets/monaco/lexon-DVsYuwex.js create mode 100644 docs/assets/monaco/liquid-fLVojwb4.js create mode 100644 docs/assets/monaco/lua-DYx-Jejz.js create mode 100644 docs/assets/monaco/m3-BMrvfaad.js create mode 100644 docs/assets/monaco/markdown-DuPmBnHi.js create mode 100644 docs/assets/monaco/mdx-gI0abYvb.js create mode 100644 docs/assets/monaco/mips-BqUeXQd9.js create mode 100644 docs/assets/monaco/msdax-Dw-TSVhm.js create mode 100644 docs/assets/monaco/mysql-CcpH9Ljq.js create mode 100644 docs/assets/monaco/objective-c-BRNxDdm3.js create mode 100644 docs/assets/monaco/pascal-Cn8aAeCV.js create mode 100644 docs/assets/monaco/pascaligo-dBAnVStS.js create mode 100644 docs/assets/monaco/perl-C4L3BrdA.js create mode 100644 docs/assets/monaco/pgsql-BOSk5tQb.js create mode 100644 docs/assets/monaco/php-DzsKq5vr.js create mode 100644 docs/assets/monaco/pla-C6GoMDq5.js create mode 100644 docs/assets/monaco/postiats-DQpJ_7Kk.js create mode 100644 docs/assets/monaco/powerquery-M-mSA4YD.js create mode 100644 docs/assets/monaco/powershell-DzOgjbHk.js create mode 100644 docs/assets/monaco/protobuf-BIE5FnyZ.js create mode 100644 docs/assets/monaco/pug-s9KOoKAL.js create mode 100644 docs/assets/monaco/python-D975luWu.js create mode 100644 docs/assets/monaco/qsharp-DWDrKSir.js create mode 100644 docs/assets/monaco/r-DnKTOUT4.js create mode 100644 docs/assets/monaco/razor-BSJ28aAe.js create mode 100644 docs/assets/monaco/redis-CWZNkOVt.js create mode 100644 docs/assets/monaco/redshift-Bhrh1xcx.js create mode 100644 docs/assets/monaco/restructuredtext-CWmU_seV.js create mode 100644 docs/assets/monaco/ruby-2Tz7EiV8.js create mode 100644 docs/assets/monaco/rust-CrxrYIVW.js create mode 100644 docs/assets/monaco/sb-DkpzO6Ij.js create mode 100644 docs/assets/monaco/scala-Du7mGxrp.js create mode 100644 docs/assets/monaco/scheme-DnCYVA2x.js create mode 100644 docs/assets/monaco/scss-3iLYYaxs.js create mode 100644 docs/assets/monaco/shell-D4ITwtg2.js create mode 100644 docs/assets/monaco/solidity-Bq53zNw4.js create mode 100644 docs/assets/monaco/sophia-BtzCauDs.js create mode 100644 docs/assets/monaco/sparql-7--tI-JV.js create mode 100644 docs/assets/monaco/sql-B8Hnjumu.js create mode 100644 docs/assets/monaco/st-BtpAQKub.js create mode 100644 docs/assets/monaco/swift-CVGPmAnX.js create mode 100644 docs/assets/monaco/systemverilog-CzfWLrvP.js create mode 100644 docs/assets/monaco/tcl-0V1PA5XN.js create mode 100644 docs/assets/monaco/tsMode-CSjQzO28.js create mode 100644 docs/assets/monaco/twig-BwWq3-l7.js create mode 100644 docs/assets/monaco/typescript-DSer1JU9.js create mode 100644 docs/assets/monaco/typespec-B73e1L9X.js create mode 100644 docs/assets/monaco/vb-ByO2b-39.js create mode 100644 docs/assets/monaco/wgsl-DYQqGqAW.js create mode 100644 docs/assets/monaco/xml-Bfx2yygV.js create mode 100644 docs/assets/monaco/yaml-BZGo8wj-.js create mode 100644 docs/assets/play-D_7yfuao.css create mode 100644 docs/assets/presenter-BkjXb8nn.css create mode 100644 docs/assets/shortcuts-BAPqYAhK.css create mode 100644 docs/assets/slidev/404-36mg7bFt.js create mode 100644 docs/assets/slidev/CodeBlockWrapper.vue_vue_type_script_setup_true_lang-C87JWgs7.js create mode 100644 docs/assets/slidev/CodeRunner-DT1_kUbn.js create mode 100644 docs/assets/slidev/DrawingControls-QAEkhfiz.js create mode 100644 docs/assets/slidev/DrawingControls.vue_vue_type_style_index_0_lang-j1j1HRFG.js create mode 100644 docs/assets/slidev/DrawingLayer-DoZ9KrJP.js create mode 100644 docs/assets/slidev/IconButton.vue_vue_type_script_setup_true_lang-D92RVpEC.js create mode 100644 docs/assets/slidev/NoteDisplay.vue_vue_type_style_index_0_lang-B38dLyf3.js create mode 100644 docs/assets/slidev/SlideWrapper-Ccnvj0Sw.js create mode 100644 docs/assets/slidev/VClicks-BJgSDv3Q.js create mode 100644 docs/assets/slidev/context-DlCOjm-I.js create mode 100644 docs/assets/slidev/cover.vue_vue_type_script_setup_true_lang-BcnL1efM.js create mode 100644 docs/assets/slidev/default-DYfprxyr.js create mode 100644 docs/assets/slidev/entry-BuL9-yYF.js create mode 100644 docs/assets/slidev/notes-DJw_rOv3.js create mode 100644 docs/assets/slidev/overview-1yejmVit.js create mode 100644 docs/assets/slidev/play-D87vDAm9.js create mode 100644 docs/assets/slidev/presenter-DtNW9EJv.js create mode 100644 docs/assets/slidev/shiki-Bsl5RiOy.js create mode 100644 docs/assets/slidev/shortcuts-TVJpHdJV.js create mode 100644 docs/assets/ts.worker-Brk6wN3W.js create mode 100644 docs/index.html create mode 100644 impls.js create mode 100644 slides/readme.md create mode 100644 slides/slides.md diff --git a/abstract.md b/abstract.md new file mode 100644 index 0000000..06c32ea --- /dev/null +++ b/abstract.md @@ -0,0 +1,9 @@ +# Really Functional Data Structures + +Last time, David showed us functional data structures in the form of +*persistent data structures*. In this talk, I want to show you data +structures that are defined entirely by functions themselves -- no +classes, structs, bitmaps, etc.! Knowing about such structures not only +tickles the brain, but can also lead to a better intuition for solving +problems functionally. Also, one of the data structures shown can be +used for space-efficient encodings of fractals and animations. diff --git a/docs/404.html b/docs/404.html new file mode 100644 index 0000000..6d11fe4 --- /dev/null +++ b/docs/404.html @@ -0,0 +1,25 @@ + + +
+ + + + +