[{"data":1,"prerenderedAt":32},["ShallowReactive",2],{"maker-HerrmannM":3},[4],{"id":5,"name":6,"line":7,"ai":8,"cat":9,"year":10,"points":11,"comments":12,"rec":13,"s":14,"top":15,"kw":16,"maker":22,"domain":23,"tier":24,"attempts":25,"strip":26,"url":27,"mix":28,"praise":-1,"objection":30,"sub":31},21309518,"Eole","A Lévy-optimal lambda calculus evaluator written in Rust",false,"languages",2019,106,9,"quiet",null,21,[17,18,19,20,21],"lambda calculus","optimal reduction","lévy optimal","rust","evaluator","HerrmannM","github.com","notable",0,"000030000","https:\u002F\u002Fgithub.com\u002FHerrmannM\u002Feole",[25,29,25,25],1,"Optimality and soundness not yet proven; counter-examples sought","lambda calculus evaluator",1794036768113]