[{"data":1,"prerenderedAt":53},["ShallowReactive",2],{"\u002Funtyped-lambda-calculus-in-ocaml":3},{"id":4,"title":5,"body":6,"createdAt":40,"description":41,"draft":42,"extension":43,"image":44,"mastodonThread":44,"meta":45,"navigation":46,"path":47,"seo":48,"stem":49,"tags":50,"updatedAt":40,"__hash__":52},"content\u002FUntyped Lambda Calculus in OCaml.md","Untyped_Lambda_Calculus_in_OCaml",{"type":7,"value":8,"toc":36},"minimark",[9,19,22,25],[10,11,12,13,18],"p",{},"I wrote this specifically so that I could use it as a genotype in ",[14,15,17],"a",{"href":16},"\u002Fogpf","OGPF",". I'm not sure that I ever actually did that... but I'm not dead yet!",[10,20,21],{},"It seems to work pretty well, and there might even be some comments in the code. This might be a reasonable example of how to write a lambda calculus parser and interpreter in OCaml.",[10,23,24],{},"Get the code at:",[26,27,28],"ul",{},[29,30,31],"li",{},[14,32,33],{"href":33,"rel":34},"http:\u002F\u002Fthelackthereof.org\u002Fprojects\u002Focaml\u002Funtyped-lambda-calc\u002F",[35],"nofollow",{"title":37,"searchDepth":38,"depth":38,"links":39},"",2,[],"2006-04-04T01:51-04:00","I wrote this specifically so that I could use it as a genotype in OGPF. I'm not sure that I ever actually did that... but I'm not dead yet!",false,"md",null,{},true,"\u002Funtyped-lambda-calculus-in-ocaml",{"title":5,"description":41},"Untyped Lambda Calculus in OCaml",[51],"project","Oj4UymutIxSObntc_3fXw8MwfDrYznLt1uvITcsfjFA",1778988315336]