Show HN: type-kanren – type-level microKanren in TypeScript (github.com) 5 points by eduhenke 12 hours ago 0 comments Copy Link View on Hacker News