[{"data":1,"prerenderedAt":33},["ShallowReactive",2],{"maker-caotic123":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":20},28725803,"PomPom","Dependently typed language for proofs that you can implement in one day",false,"languages",2021,138,96,"roasted",-0.36,15,[17,18,19,20],"dependent types","proof assistant","type theory","dependently typed language","caotic123","github.com","notable",0,"3001130031111055311311110505100000500000","https:\u002F\u002Fgithub.com\u002Fcaotic123\u002FPomPom-Language",[28,29,24,30],5,7,13,"Simple and accessible design for learning dependent types","Syntax is too complex and hard for programmers to read",1794036782263]