1
|
import{o,c as r,k as m,e as a,aa as t,q as p,s as i,I as e}from"./modules/vue-DPv8DyWv.js";import{I as c}from"./slidev/default-DYfprxyr.js";import{u,f as h}from"./slidev/context-DlCOjm-I.js";import"./index-Da-oe7Cw.js";import"./monaco/bundled-types-B0l6HWZX.js";import"./modules/file-saver-igGfcqei.js";import"./modules/shiki-BNMsYMPq.js";const B={__name:"slides.md__slidev_22",setup(d){const{$slidev:x,$nav:f,$clicksContext:n,$clicks:k,$page:w,$renderContext:g,$frontmatter:l}=u();return n.setup(),(_,s)=>(o(),r(c,p(i(e(h)(e(l),21))),{default:m(()=>s[0]||(s[0]=[a("h1",null,"Church Numerals",-1),a("ul",null,[a("li",null,[t("Idea: Represent a number "),a("span",{class:"katex"},[a("span",{class:"katex-mathml"},[a("math",{xmlns:"http://www.w3.org/1998/Math/MathML"},[a("semantics",null,[a("mrow",null,[a("mi",null,"n")]),a("annotation",{encoding:"application/x-tex"},"n")])])]),a("span",{class:"katex-html","aria-hidden":"true"},[a("span",{class:"base"},[a("span",{class:"strut",style:{height:"0.4306em"}}),a("span",{class:"mord mathnormal"},"n")])])]),t(" by applying "),a("span",{class:"katex"},[a("span",{class:"katex-mathml"},[a("math",{xmlns:"http://www.w3.org/1998/Math/MathML"},[a("semantics",null,[a("mrow",null,[a("mi",null,"n")]),a("annotation",{encoding:"application/x-tex"},"n")])])]),a("span",{class:"katex-html","aria-hidden":"true"},[a("span",{class:"base"},[a("span",{class:"strut",style:{height:"0.4306em"}}),a("span",{class:"mord mathnormal"},"n")])])]),t(" composed functions to some argument!")])],-1)])),_:1},16))}};export{B as default};
|
