[{"data":1,"prerenderedAt":34},["ShallowReactive",2],{"maker-u2zv1wx":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":21,"domain":22,"tier":23,"attempts":24,"strip":25,"url":26,"mix":27,"praise":31,"objection":32,"sub":33},23283880,"neut","A dependently-typed programming language with static memory management",false,"languages",2020,456,78,"curious",0.01,3,[17,18,19,20],"dependent types","static memory management","functional programming","linear types","u2zv1wx","github.com","legend",0,"5000000055530135513030153330331153110000","https:\u002F\u002Fgithub.com\u002Fu2zv1wx\u002Fneut",[28,29,24,30],9,17,8,"Readme introduction is clear and approachable","Readme is heavy on formalism and hard to follow","programming language",1794036772604]