Show HN: type-kanren – type-level microKanren in TypeScriptgithub.com/eduhenke5 pointseduhenke10 months ago