1
|
import{_ as a}from"./Monaco.vue_vue_type_style_index_0_lang-PDEG0sxg.js";import{o as l,c as u,k as m,e as t,l as i,m as p,q as c,s as A,I as o}from"./modules/vue-DPv8DyWv.js";import{I as d}from"./slidev/default-DYfprxyr.js";import{u as g,f as P}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 q={__name:"slides.md__slidev_30",setup(f){const{$slidev:_,$nav:B,$clicksContext:r,$clicks:x,$page:D,$renderContext:E,$frontmatter:s}=g();return r.setup(),(R,e)=>{const n=a;return l(),u(d,c(A(o(P)(o(s),29))),{default:m(()=>[e[0]||(e[0]=t("h1",null,"Products/Records",-1)),e[1]||(e[1]=t("ul",null,[t("li",null,"Stores multiple elements, supports construction and extraction"),t("li",null,"For two elements: Just a Church pair"),t("li",null,"For multiple elements: Extend the pair!")],-1)),i(n,p({runnable:"","code-lz":"PTAEBMEMBdNAxATgSwKYDtwGdQF4EobagDeoARqltKAFy2gDK0K6A5gDSgBmhmANgE86DZq06gA7qmSJwIpi2TtQAXwBQSNJhz5K1PAD4efcEKNSZci7uNYAFPugBKe721nBr6bPDP1TngmHrbBRA6BuMYA+haxURRULuruROb4qToWmdj28cY56THZpkL+PtYZpqE5Dvmg9RXyCU3+KdVBWuH2AEQAgvzIAMaoPa49AEIA9uRjvQDCkIhT/GPqQ1PoWCuoAHT8U2yOSW7Vzv5AA",lang:"js"},{showOutputAt:"+1"}),null,16)]),_:1},16)}}};export{q as default};
|
