1
|
import{_ as r}from"./Monaco.vue_vue_type_style_index_0_lang-PDEG0sxg.js";import{o as m,c as p,k as i,e as a,aa as t,l as c,m as u,q as h,s as d,I as e}from"./modules/vue-DPv8DyWv.js";import{I as x}from"./slidev/default-DYfprxyr.js";import{u as g,f as w}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 E={__name:"slides.md__slidev_23",setup(f){const{$slidev:k,$nav:C,$clicksContext:n,$clicks:_,$page:A,$renderContext:M,$frontmatter:l}=g();return n.setup(),($,s)=>{const o=r;return m(),p(x,h(d(e(w)(e(l),22))),{default:i(()=>[s[0]||(s[0]=a("h1",null,"Church Numerals",-1)),s[1]||(s[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!")]),a("li",null,"For example:")],-1)),c(o,u({runnable:"","code-lz":"C4CwTgphAEC80Gc4D5oC8WIBQJ1tAlEQFDEQBuAhgDYDCIArmAMYhzQB2mHWAHpvwDU0AIwEsABgLFmAew4JZ1CADpqsgOZYKNek1ZZQkCCSA===",lang:"js"},{showOutputAt:"+1"}),null,16)]),_:1},16)}}};export{E as default};
|
