diff options
Diffstat (limited to 'docs/assets/md-DtHqeZS0.js')
| -rw-r--r-- | docs/assets/md-DtHqeZS0.js | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/docs/assets/md-DtHqeZS0.js b/docs/assets/md-DtHqeZS0.js new file mode 100644 index 0000000..e0af100 --- /dev/null +++ b/docs/assets/md-DtHqeZS0.js @@ -0,0 +1,3 @@ +import{_ as o}from"./slidev/VClicks-BJgSDv3Q.js";import{o as h,c as r,k as t,e as i,l as d,aa as s,q as p,s as f,I as e}from"./modules/vue-DPv8DyWv.js";import{I as c}from"./slidev/default-DYfprxyr.js";import{u as g,f as u}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 T={__name:"slides.md__slidev_10",setup(m){const{$slidev:y,$nav:_,$clicksContext:a,$clicks:D,$page:A,$renderContext:B,$frontmatter:n}=g();return a.setup(),(b,l)=>{const k=o;return h(),r(c,p(f(e(u)(e(n),9))),{default:t(()=>[l[1]||(l[1]=i("h2",null,"Example: Negation",-1)),d(k,null,{default:t(()=>l[0]||(l[0]=[i("ul",null,[i("li",null,[s("We know: "),i("code",null,"bool = t => f => t/f")]),i("li",null,[s("If "),i("code",null,"bool = t => f => t"),s(", then "),i("code",null,"!bool = t => f => f")]),i("li",null,[s("If "),i("code",null,"bool = t => f => f"),s(", then "),i("code",null,"!bool = t => f => t")]),i("li",null,[s("Therefore:"),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"}},"negate"),i("span",{style:{"--shiki-dark":"#666666","--shiki-light":"#999999"}}," ="),i("span",{style:{"--shiki-dark":"#BD976A","--shiki-light":"#B07D48"}}," bool"),i("span",{style:{"--shiki-dark":"#666666","--shiki-light":"#999999"}}," =>"),i("span",{style:{"--shiki-dark":"#BD976A","--shiki-light":"#B07D48"}}," t"),i("span",{style:{"--shiki-dark":"#666666","--shiki-light":"#999999"}}," =>"),i("span",{style:{"--shiki-dark":"#BD976A","--shiki-light":"#B07D48"}}," f"),i("span",{style:{"--shiki-dark":"#666666","--shiki-light":"#999999"}}," =>"),i("span",{style:{"--shiki-dark":"#80A665","--shiki-light":"#59873A"}}," bool"),i("span",{style:{"--shiki-dark":"#666666","--shiki-light":"#999999"}},"("),i("span",{style:{"--shiki-dark":"#BD976A","--shiki-light":"#B07D48"}},"f"),i("span",{style:{"--shiki-dark":"#666666","--shiki-light":"#999999"}},")("),i("span",{style:{"--shiki-dark":"#BD976A","--shiki-light":"#B07D48"}},"t"),i("span",{style:{"--shiki-dark":"#666666","--shiki-light":"#999999"}},")")]),s(` +`),i("span",{class:"line"},[i("span",{style:{"--shiki-dark":"#758575DD","--shiki-light":"#A0ADA0"}},"// ^ ^")]),s(` +`),i("span",{class:"line"},[i("span",{style:{"--shiki-dark":"#758575DD","--shiki-light":"#A0ADA0"}},"// one will be eliminated!")])])])])],-1)])),_:1})]),_:1},16)}}};export{T as default}; |