1
2
3
4
|
import{_ as n}from"./slidev/CodeBlockWrapper.vue_vue_type_script_setup_true_lang-C87JWgs7.js";import{o as r,c as p,k as t,e as i,aa as k,l as d,m as g,q as o,s as y,I as a}from"./modules/vue-DPv8DyWv.js";import{I as A}from"./slidev/default-DYfprxyr.js";import{u as B,f as D}from"./slidev/context-DlCOjm-I.js";import"./modules/unplugin-icons-DdQIwbVj.js";import"./index-Da-oe7Cw.js";import"./monaco/bundled-types-B0l6HWZX.js";import"./modules/file-saver-igGfcqei.js";import"./modules/shiki-BNMsYMPq.js";const T={__name:"slides.md__slidev_17",setup(c){const{$slidev:m,$nav:u,$clicksContext:h,$clicks:f,$page:C,$renderContext:_,$frontmatter:l}=B();return h.setup(),(x,s)=>{const e=n;return r(),p(A,o(y(a(D)(a(l),16))),{default:t(()=>[s[1]||(s[1]=i("h2",null,[i("code",null,"isNil"),k("?")],-1)),s[2]||(s[2]=i("ul",null,[i("li",null,[k("We define NIL such that it "),i("em",null,"ignores"),k(" its selector argument")])],-1)),d(e,g({},{ranges:[]}),{default:t(()=>s[0]||(s[0]=[i("pre",{class:"shiki shiki-themes vitesse-dark vitesse-light slidev-code",style:{"--shiki-dark":"#dbd7caee","--shiki-light":"#393a34","--shiki-dark-bg":"#121212","--shiki-light-bg":"#ffffff"}},[i("code",{class:"language-js"},[i("span",{class:"line"},[i("span",{style:{"--shiki-dark":"#80A665","--shiki-light":"#59873A"}},"cons"),i("span",{style:{"--shiki-dark":"#666666","--shiki-light":"#999999"}}," ="),i("span",{style:{"--shiki-dark":"#BD976A","--shiki-light":"#B07D48"}}," a"),i("span",{style:{"--shiki-dark":"#666666","--shiki-light":"#999999"}}," =>"),i("span",{style:{"--shiki-dark":"#BD976A","--shiki-light":"#B07D48"}}," b"),i("span",{style:{"--shiki-dark":"#666666","--shiki-light":"#999999"}}," =>"),i("span",{style:{"--shiki-dark":"#BD976A","--shiki-light":"#B07D48"}}," s"),i("span",{style:{"--shiki-dark":"#666666","--shiki-light":"#999999"}}," =>"),i("span",{style:{"--shiki-dark":"#80A665","--shiki-light":"#59873A"}}," s"),i("span",{style:{"--shiki-dark":"#666666","--shiki-light":"#999999"}},"("),i("span",{style:{"--shiki-dark":"#BD976A","--shiki-light":"#B07D48"}},"a"),i("span",{style:{"--shiki-dark":"#666666","--shiki-light":"#999999"}},")("),i("span",{style:{"--shiki-dark":"#BD976A","--shiki-light":"#B07D48"}},"b"),i("span",{style:{"--shiki-dark":"#666666","--shiki-light":"#999999"}},")")]),k(`
`),i("span",{class:"line"},[i("span",{style:{"--shiki-dark":"#80A665","--shiki-light":"#59873A"}},"nil"),i("span",{style:{"--shiki-dark":"#666666","--shiki-light":"#999999"}}," ="),i("span",{style:{"--shiki-dark":"#BD976A","--shiki-light":"#B07D48"}}," s"),i("span",{style:{"--shiki-dark":"#666666","--shiki-light":"#999999"}}," =>"),i("span",{style:{"--shiki-dark":"#BD976A","--shiki-light":"#B07D48"}}," x"),i("span",{style:{"--shiki-dark":"#666666","--shiki-light":"#999999"}}," =>"),i("span",{style:{"--shiki-dark":"#BD976A","--shiki-light":"#B07D48"}}," x")]),k(`
`),i("span",{class:"line"},[i("span",{style:{"--shiki-dark":"#BD976A","--shiki-light":"#B07D48"}},"exampleList"),i("span",{style:{"--shiki-dark":"#666666","--shiki-light":"#999999"}}," ="),i("span",{style:{"--shiki-dark":"#80A665","--shiki-light":"#59873A"}}," cons"),i("span",{style:{"--shiki-dark":"#666666","--shiki-light":"#999999"}},"("),i("span",{style:{"--shiki-dark":"#C98A7D77","--shiki-light":"#B5695977"}},'"'),i("span",{style:{"--shiki-dark":"#C98A7D","--shiki-light":"#B56959"}},"a"),i("span",{style:{"--shiki-dark":"#C98A7D77","--shiki-light":"#B5695977"}},'"'),i("span",{style:{"--shiki-dark":"#666666","--shiki-light":"#999999"}},")("),i("span",{style:{"--shiki-dark":"#80A665","--shiki-light":"#59873A"}},"cons"),i("span",{style:{"--shiki-dark":"#666666","--shiki-light":"#999999"}},"("),i("span",{style:{"--shiki-dark":"#C98A7D77","--shiki-light":"#B5695977"}},'"'),i("span",{style:{"--shiki-dark":"#C98A7D","--shiki-light":"#B56959"}},"b"),i("span",{style:{"--shiki-dark":"#C98A7D77","--shiki-light":"#B5695977"}},'"'),i("span",{style:{"--shiki-dark":"#666666","--shiki-light":"#999999"}},")("),i("span",{style:{"--shiki-dark":"#80A665","--shiki-light":"#59873A"}},"cons"),i("span",{style:{"--shiki-dark":"#666666","--shiki-light":"#999999"}},"("),i("span",{style:{"--shiki-dark":"#C98A7D77","--shiki-light":"#B5695977"}},'"'),i("span",{style:{"--shiki-dark":"#C98A7D","--shiki-light":"#B56959"}},"c"),i("span",{style:{"--shiki-dark":"#C98A7D77","--shiki-light":"#B5695977"}},'"'),i("span",{style:{"--shiki-dark":"#666666","--shiki-light":"#999999"}},")("),i("span",{style:{"--shiki-dark":"#BD976A","--shiki-light":"#B07D48"}},"nil"),i("span",{style:{"--shiki-dark":"#666666","--shiki-light":"#999999"}},")))")]),k(`
`),i("span",{class:"line"},[i("span",{style:{"--shiki-dark":"#758575DD","--shiki-light":"#A0ADA0"}},'// = s1 => s1("a")(s2 => s2("b")(s3 => s3("c")(nil)))')])])],-1)])),_:1},16)]),_:1},16)}}};export{T as default};
|
