diff options
Diffstat (limited to 'docs/assets/md-UMyVtbKA.js')
| -rw-r--r-- | docs/assets/md-UMyVtbKA.js | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/docs/assets/md-UMyVtbKA.js b/docs/assets/md-UMyVtbKA.js new file mode 100644 index 0000000..9c621db --- /dev/null +++ b/docs/assets/md-UMyVtbKA.js @@ -0,0 +1 @@ +import{_ as i}from"./slidev/VClicks-BJgSDv3Q.js";import{o as u,c as m,k as s,e as t,l as p,aa as o,q as c,s as d,I as l}from"./modules/vue-DPv8DyWv.js";import{I as f}from"./slidev/default-DYfprxyr.js";import{u as _,f as k}from"./slidev/context-DlCOjm-I.js";import"./monaco/bundled-types-B0l6HWZX.js";import"./modules/file-saver-igGfcqei.js";import"./index-Da-oe7Cw.js";import"./modules/shiki-BNMsYMPq.js";const w={__name:"slides.md__slidev_16",setup(x){const{$slidev:C,$nav:$,$clicksContext:r,$clicks:h,$page:B,$renderContext:I,$frontmatter:a}=_();return r.setup(),(v,e)=>{const n=i;return u(),m(f,c(d(l(k)(l(a),15))),{default:s(()=>[e[1]||(e[1]=t("h1",null,"Church Lists",-1)),p(n,{depth:"2"},{default:s(()=>e[0]||(e[0]=[t("ul",null,[t("li",null,[o("Idea: A list is just a composition of pairs:"),t("br"),t("code",null,"[A, B, C, D] = (A, (B, (C, (D, NIL))))")]),t("li",null,[o("But what is "),t("code",null,"NIL"),o("? "),t("ul",null,[t("li",null,"marks the end of the list"),t("li",null,"differentiable from other elements")])])],-1)])),_:1})]),_:1},16)}}};export{w as default}; |