1
|
import{_ as r}from"./slidev/VClicks-BJgSDv3Q.js";import{o as i,c as u,k as e,e as l,l as m,aa as p,q as c,s as d,I as o}from"./modules/vue-DPv8DyWv.js";import{I as f}from"./slidev/default-DYfprxyr.js";import{u as _,f as g}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 j={__name:"slides.md__slidev_2",setup(k){const{$slidev:v,$nav:x,$clicksContext:n,$clicks:$,$page:y,$renderContext:B,$frontmatter:a}=_();return n.setup(),(C,t)=>{const s=r;return i(),u(f,c(d(o(g)(o(a),1))),{default:e(()=>[t[1]||(t[1]=l("h1",null,"Goal/Motivation",-1)),m(s,null,{default:e(()=>t[0]||(t[0]=[l("ul",null,[l("li",null,[p("Represent arbitrary data using only functions "),l("ul",null,[l("li",null,"No classes, structs, numbers, etc."),l("li",null,"Basically pure lambda calculus")])]),l("li",null,"Think/program more functionally"),l("li",null,"Elegant and minimal solutions"),l("li",null,"Useful for theorem proving?"),l("li",null,"Really fun!")],-1)])),_:1})]),_:1},16)}}};export{j as default};
|
